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

TODO: Comment