-make_kind (FunKind k1 k2) = C.Karrow (make_kind k1) (make_kind k2)
-make_kind LiftedTypeKind = C.Klifted
-make_kind UnliftedTypeKind = C.Kunlifted
-make_kind OpenTypeKind = C.Kopen
+make_kind (PredTy p) | isEqPred p = C.Keq (make_ty t1) (make_ty t2)
+ where (t1, t2) = getEqPredTys p
+make_kind (FunTy k1 k2) = C.Karrow (make_kind k1) (make_kind k2)
+make_kind k
+ | isLiftedTypeKind k = C.Klifted
+ | isUnliftedTypeKind k = C.Kunlifted
+ | isOpenTypeKind k = C.Kopen