Add example to Monad.Maybe module and enable doctest