-make_kind (FunKind k1 k2) = C.Karrow (make_kind k1) (make_kind k2)
-make_kind LiftedTypeKind = C.Klifted
-make_kind UnboxedTypeKind = C.Kunboxed
-make_kind UnliftedTypeKind = C.Kunlifted
-make_kind OpenTypeKind = C.Kopen
+make_kind (FunTy k1 k2) = C.Karrow (make_kind k1) (make_kind k2)
+make_kind k
+ | isLiftedTypeKind k = C.Klifted
+ | isUnliftedTypeKind k = C.Kunlifted
+-- | isUnboxedTypeKind k = C.Kunboxed Fix me
+ | isOpenTypeKind k = C.Kopen