Changed Monad to Monad.Maybe, now Monad is a proper Monad.

Monad and Monad Maybe
Merge branch 'refactoring'