PolyKinds, Control.Category and GHC 7.6.1

[Dan Burton]

>
> Control.Category.Category is pretty much the only type in base that
> directly benefits from PolyKinds without any code changes, but without
> enabling the extension there nobody can define categories for kinds other
> than *, and most interesting categories actually have more exotic kinds.


What, precisely, is the benefit of turning on PolyKinds for that file
without changing the code? If we're cpp'ing it in, then are there further
benefits that we could also reap by cpp'ing some code changes?

-- Dan Burton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120813/b0a478ab/attachment.htm>