- get (HsPreForAllTy ctxt ty) acc = filter (`notElem` locals) (get ty [])
- ++ acc
- where
- locals = foldr (get . snd) [] ctxt
+ get (HsPreForAllTy ctxt ty) acc =
+ foldr insert acc (filter (`notElem` locals) (get ty []))
+ where
+ locals = foldr (get . snd) [] ctxt