__interface DataCon 1 0 where
__export DataCon DataCon isExistentialDataCon ;
1 data DataCon ;
1 isExistentialDataCon :: DataCon -> PrelBase.Bool ;