-import Kind ( argTypeKind )
-
-import Id ( Id, idType, idName, recordSelectorFieldLabel,
- isRecordSelector, isNaughtyRecordSelector, isDataConId_maybe )
-import DataCon ( DataCon, dataConFieldLabels, dataConStrictMarks, dataConSourceArity,
- dataConWrapId, isVanillaDataCon, dataConTyVars, dataConOrigArgTys )
+import {- Kind parts of -}
+ Type ( argTypeKind )
+
+import Id ( Id, idType, recordSelectorFieldLabel,
+ isRecordSelector, isNaughtyRecordSelector,
+ isDataConId_maybe )
+import DataCon ( DataCon, dataConFieldLabels, dataConStrictMarks,
+ dataConSourceArity,
+ dataConWrapId, isVanillaDataCon, dataConUnivTyVars,
+ dataConOrigArgTys )