Contract: t.Type<Contract<unknown>> = ...