import TyCon
import DataCon
import Type
+import Class
import Var
import VarEnv
import Id
, paTyCon :: TyCon
, paDataCon :: DataCon
, preprTyCon :: TyCon
+ , prClass :: Class
, embedTyCon :: TyCon
, embedDataCon :: DataCon
, crossTyCon :: TyCon
paTyCon <- dsLookupTyCon paTyConName
let [paDataCon] = tyConDataCons paTyCon
preprTyCon <- dsLookupTyCon preprTyConName
+ prClass <- dsLookupClass prClassName
embedTyCon <- dsLookupTyCon embedTyConName
let [embedDataCon] = tyConDataCons embedTyCon
crossTyCon <- dsLookupTyCon ndpCrossTyConName
, paTyCon = paTyCon
, paDataCon = paDataCon
, preprTyCon = preprTyCon
+ , prClass = prClass
, embedTyCon = embedTyCon
, embedDataCon = embedDataCon
, crossTyCon = crossTyCon