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