Provide proof witnesses for closed type family evaluation
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Template Haskell routine for generating from type family Foo
Foo
TypeRep
FooRefl
Note that Type.Reflection is new with GHC v8.2!
Type.Reflection
See changelog.md for known bugs.
changelog.md