Document Haskell encodings and tricks
There are a few Haskell tricks that people have defined; that is, using Haskell features in an unusual way to encode functionality.
I am not talking about grand design patterns, but small tricks like:
- Constraint Trick for instances (https://chrisdone.com/posts/haskell-constraint-trick/)
- Quantified Constraint Trick (https://blog.poisson.chat/posts/2022-09-21-quantified-constraint-trick.html)
- Defining a class synonym:
class Old a => New a; instance Old a => New a
.
I wanted to raise the idea of documenting them in the User Guide which can become a central collection to be referenced in conversation or code.