Description
Expands type synonyms inside Template Haskell abstract syntax trees. This helps metaprogramming code see the underlying types instead of only the aliases written by the developer.
It is useful for code generation, deriving helpers, static checks, and tools that need to compare or transform types accurately. It runs during compilation and is intended for advanced Haskell library authors.