- Monads completely refactored.
- Now, monad Maybe is working.

Presentation tip: poor template types deducing for functions nothing()
and bind(). Requires an explicit types.