, paTyCon :: TyCon
, paDataCon :: DataCon
, preprTyCon :: TyCon
- , prClass :: Class
+ , prTyCon :: TyCon
+ , prDataCon :: DataCon
, embedTyCon :: TyCon
, embedDataCon :: DataCon
, crossTyCon :: TyCon
paTyCon <- dsLookupTyCon paTyConName
let [paDataCon] = tyConDataCons paTyCon
preprTyCon <- dsLookupTyCon preprTyConName
- prClass <- dsLookupClass prClassName
+ prTyCon <- dsLookupTyCon prTyConName
+ let [prDataCon] = tyConDataCons prTyCon
embedTyCon <- dsLookupTyCon embedTyConName
let [embedDataCon] = tyConDataCons embedTyCon
crossTyCon <- dsLookupTyCon ndpCrossTyConName
, paTyCon = paTyCon
, paDataCon = paDataCon
, preprTyCon = preprTyCon
- , prClass = prClass
+ , prTyCon = prTyCon
+ , prDataCon = prDataCon
, embedTyCon = embedTyCon
, embedDataCon = embedDataCon
, crossTyCon = crossTyCon