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.