MarloweState: t.Type<MarloweState> = ...

See

Section 2.1.8 and appendix E.14 of the Marlowe spec