Hiding internal details of constraint synonyms.
Improving code readability by enforcing type annotations.
In which I present a hidden gem in the vim text editor.
Exploiting GHC internals to define top-level implicit parameters.
Stuck type families are notorious for producing puzzling type errors. In this post I present a technique for detecting and reporting them.
A technique for manipulating Symbols in GHC for type-level programming.
A techinque for approximating Generic2 with only the Generic type class.
Deriving lenses generically
Writing a simple parser of type-level symbols in PureScript 0.12
Some interesting consequences of lazy evaluation.