IChoice: t.Type<IChoice> = ...

TODO: Comment

See

Section 2.1.6 and appendix E.11 of the Marlowe spec