this package 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.

this package provides a library for the haskell programming language.
see http://www.haskell.org/ for more information on haskell.