Added presentation base for monads.
Added code examples for optional values.