haskell@gentoo.org Gentoo Haskell @th-reify-many@ provides functions for recursively reifying top level declarations. The main intended use case is for enumerating the names of datatypes reachable from an initial datatype, and passing these names to some function which generates instances. mgsloan/th-reify-many