- else if (Coercion.isUnliftedTypeKind k) then KindUnliftedType
- else if (Coercion.isOpenTypeKind k) then KindOpenType
- else if (Coercion.isArgTypeKind k) then KindArgType
- else if (Coercion.isUbxTupleKind k) then KindUnboxedTuple
+ else if (Coercion.isUnliftedTypeKind k) then KindType
+ else if (Coercion.isArgTypeKind k) then KindType
+ else if (Coercion.isUbxTupleKind k) then KindType
+ else if (Coercion.isOpenTypeKind k) then KindType
+-- else if (Coercion.isUnliftedTypeKind k) then KindUnliftedType
+-- else if (Coercion.isOpenTypeKind k) then KindOpenType
+-- else if (Coercion.isArgTypeKind k) then KindArgType
+-- else if (Coercion.isUbxTupleKind k) then KindUnboxedTuple