The monad laws