True, but a `TypeConstructor`, from what I understand, is not a `JetType`, so I can't use it to replace entire types in another type.