TypedContract: ContractConstructor = ...