Slides and some example code for the Haskell Exchange talk.
An idea for a useful indexed monad: the map comprehension.
A toy compiler and virtual-machine in less than fifty lines of haskell.
Generic recursion schemes for GADTs using fixed points of higher-order functors.
A new blog on applied functional programming.