proofs of more monad laws.