-__interface DataCon 1 0 where
-__export DataCon DataCon dataConRepType isExistentialDataCon ;
-1 data DataCon ;
-1 dataConRepType :: DataCon -> TypeRep.Type ;
-1 isExistentialDataCon :: DataCon -> GHCziBase.Bool ;
+module DataCon where
+
+data DataCon
+dataConName :: DataCon -> Name.Name
+isVanillaDataCon :: DataCon -> GHC.Base.Bool