Notes on monad transformers

A blog post begins.