Notes on free monads.
Whitespace.