Finish up monad transformers post
Add syntax highlighting