completed test monad laws for state monad