Compiling to categories
conal.net
Unit testing effectful Haskell with monad-mock
lexi-lambda.github.io
How to derive Generic for (some) GADTs using QuantifiedConstraints - Ryan Scott
ryanglscott.github.io
Conquering Recursion
nsl.com