Monad classes for transformers, using functional dependencies| Hackage
Reimplementing Hackett’s type language: expanding to custom core forms in Racket| lexi-lambda.github.io
A space of their own: adding a type namespace to Hackett| lexi-lambda.github.io
Lifts for free: making mtl typeclasses derivable| lexi-lambda.github.io