Added emphasis to monad laws