67b348c Added emphasis to monad laws