__interface DataCon 1 0 where
__export DataCon DataCon dataConType ;
1 data DataCon ;
1 dataConType :: DataCon -> Type.Type ;