Data.Reify for GADTs.

Please see the README on GitHub at https://github.com/Arthi-chaud/data-reify-gadt#readme

Data.Reify.GADT

data-reify-gadt is a rewrite of data-reify to make the library usable with GADTs.

With this implementation, it is possible to use data-reify's technique to make a graph out of typed ASTs that use GADTs.

The logic is the same, only the type definition changes slightly.

Take a look at the examples/ directory.