Add test for the monad laws