0.5

• On GHC 7.7 we now simply export instances for Data.Typeable.Proxy rather than make our own type. We still re-export it.

0.4.5

• Added witness

0.4.4

• Actually working polymorphic kind support

0.4.3

• Added polymorphic kind support