Generic contains the signature bits common to all state monad signatures.

S is the signature of state monads parametrised over their value, but with a fixed state type.

S2 is the signature of state monads parametrised over both value and state types.