Realised mixed-types for StateTypes.  Used tuples.