Implementing P. Wadler's "The essence of functional programming" (pdf) for great grokkingness of monads.

Currently implemented just the first two variations (simple parser and error reporting).

• Tick an item off the todo list
• Implement moar parsers
• Use type parameters