+isTypeKind :: Kind -> Bool
+isTypeKind TypeKind = True
+isTypeKind other = False
+
+isUnboxedKind :: Kind -> Bool
+isUnboxedKind UnboxedTypeKind = True
+isUnboxedKind other = False
+
+hasMoreBoxityInfo :: Kind -> Kind -> Bool
+
+BoxedTypeKind `hasMoreBoxityInfo` TypeKind = True
+BoxedTypeKind `hasMoreBoxityInfo` BoxedTypeKind = True
+
+UnboxedTypeKind `hasMoreBoxityInfo` TypeKind = True
+UnboxedTypeKind `hasMoreBoxityInfo` UnboxedTypeKind = True
+
+TypeKind `hasMoreBoxityInfo` TypeKind = True