; let repInsts = concat (map (\(a,_,_) -> a) repInstsMeta)
repMetaTys = map (\(_,b,_) -> b) repInstsMeta
repTyCons = map (\(_,_,c) -> c) repInstsMeta
; let repInsts = concat (map (\(a,_,_) -> a) repInstsMeta)
repMetaTys = map (\(_,b,_) -> b) repInstsMeta
repTyCons = map (\(_,_,c) -> c) repInstsMeta