Description
Recursively reifies datatype information for Template Haskell code. Instead of inspecting only one type, it can follow related types so code generators get a fuller view of the structures they need.
It is useful for deriving libraries, serializers, schema generators, and compile-time tools that must understand connected Haskell datatypes. It runs during compilation and is intended for metaprogramming work.