Prove maybe is a monad