Monad laws.