-- | The type constructor that we are building via this data constructor
dataConTyCon :: DataCon -> TyCon
dataConTyCon = dcRepTyCon
dataConTyCon :: DataCon -> TyCon
dataConTyCon = dcRepTyCon
dataConTyCon = dcRepTyCon