, preprTyCon :: TyCon
, prTyCon :: TyCon
, prDataCon :: DataCon
+ , uarrTyCon :: TyCon
, sumTyCons :: Array Int TyCon
, closureTyCon :: TyCon
, mkPRVar :: Var
let [paDataCon] = tyConDataCons paTyCon
preprTyCon <- dsLookupTyCon preprTyConName
prTyCon <- dsLookupTyCon prTyConName
+ uarrTyCon <- dsLookupTyCon uarrTyConName
let [prDataCon] = tyConDataCons prTyCon
closureTyCon <- dsLookupTyCon closureTyConName
, preprTyCon = preprTyCon
, prTyCon = prTyCon
, prDataCon = prDataCon
+ , uarrTyCon = uarrTyCon
, sumTyCons = sumTyCons
, closureTyCon = closureTyCon
, mkPRVar = mkPRVar