specs for monad laws for State monad; need several variants to cover all the bases of State, makeState, State.mReturn and so on