46530f1 Added emphasis to monad laws