_interface_ DataCon 1 _exports_ DataCon DataCon dataConType ; _declarations_ 1 data DataCon ; 1 dataConType _:_ DataCon -> TypeRep.Type ;;