, pdataTyCon :: TyCon -- ^ PData
, paTyCon :: TyCon -- ^ PA
, paDataCon :: DataCon -- ^ PA
, pdataTyCon :: TyCon -- ^ PData
, paTyCon :: TyCon -- ^ PA
, paDataCon :: DataCon -- ^ PA
, preprTyCon :: TyCon -- ^ PRepr
, prTyCon :: TyCon -- ^ PR
, prDataCon :: DataCon -- ^ PR
, preprTyCon :: TyCon -- ^ PRepr
, prTyCon :: TyCon -- ^ PR
, prDataCon :: DataCon -- ^ PR