, embedTyCon = embedTyCon
, embedDataCon = embedDataCon
, crossTyCon = crossTyCon
, embedTyCon = embedTyCon
, embedDataCon = embedDataCon
, crossTyCon = crossTyCon
, closureTyCon = closureTyCon
, mkClosureVar = mkClosureVar
, applyClosureVar = applyClosureVar
, closureTyCon = closureTyCon
, mkClosureVar = mkClosureVar
, applyClosureVar = applyClosureVar