- ; ccDataCons <- mapM ccDataConMapping (tyConDataCons tycon)
- ; return ((name, (tycon, ccTycon)), -- (T, T_CC)
- ccDataCons, -- list of (Ci, Ci_CC)
+ ; vDataCons <- mapM vectDataConMapping (tyConDataCons tycon)
+ ; return ((name, (tycon, vTycon)), -- (T, T_v)
+ vDataCons, -- list of (Ci, Ci_v)