Contracts from the types that are specified here, to check that the types make sense.