Check Monad laws.