@hackage tyfam-witnesses0.1.1

Provide proof witnesses for closed type family evaluation

Template Haskell routine for generating from 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!