-isUnboxedKind :: Kind -> Bool
-isUnboxedKind UnboxedTypeKind = True
-isUnboxedKind other = False
+isBoxedTypeKind :: Kind -> Bool
+isBoxedTypeKind BoxedTypeKind = True
+isBoxedTypeKind other = False
+
+isUnboxedTypeKind :: Kind -> Bool
+isUnboxedTypeKind UnboxedTypeKind = True
+isUnboxedTypeKind other = False