Lifts for free: making mtl typeclasses derivable| lexi-lambda.github.io
Rascal: a Haskell with more parentheses| lexi-lambda.github.io
