Add an example for Maybe monad