Monad Instance defined.