Monad classes for transformers, using functional dependencies| Hackage
Realizing Hackett, a metaprogrammable Haskell| lexi-lambda.github.io
Rascal is now Hackett, plus some answers to questions| lexi-lambda.github.io
