This is great. I can say I've used and encountered literally all of these techniques many times in every Haskell codebase I've joined and built.

The concise cost/benefit analysis very helpful.