copy

fun copy(typeConstructor: TypeConstructor, kind: ClassKind): TypeConstructorWithKind