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