Proof for right unit law for Maybe monad