Add documentation to Monad.Maybe functions

Note that this needs to be reviewed.