- ; let repInsts = concat (map (\(a,b,c) -> a) repInstsMeta)
- repMetaTys = map (\(a,b,c) -> b) repInstsMeta
- repTyCons = map (\(a,b,c) -> c) repInstsMeta
- -- Should we extendLocalInstEnv with repInsts?
+ ; let repInsts = concat (map (\(a,_,_) -> a) repInstsMeta)
+ repMetaTys = map (\(_,b,_) -> b) repInstsMeta
+ repTyCons = map (\(_,_,c) -> c) repInstsMeta