Changelog for tagged-0.6
- On GHC 7.7, we now still export the instances we used to for
Data.Proxy.Proxyas orphans if need be.
- On GHC 7.7 we now simply export
Data.Typeable.Proxyrather than make our own type. We still re-export it.
- Actually working polymorphic kind support
- Added polymorphic kind support