Adding monad laws tests