specialised versions of monad laws