@hackage tyfam-witnesses0.0.0.1

Provide proof witnesses for closed type family evaluation

Template Haskell routine for generating form type family Foo

FooRefl
a GADT capturing the equalities of each type family clause
reify_Foo
a function that analyses TypeReps and reifies the matching clause as a FooRefl

Note that Type.Reflection is new with GHC v8.2!