Searched defs:liftedRepTy (Results 1 – 4 of 4) sorted by relevance
1332 liftedRepTy = liftedRepDataConTy function
1467 liftedRepTy = liftedRepDataConTy function
1703 liftedRepTy = mkTyConApp boxedRepDataConTyCon [liftedDataConTy] function