PolyKinds, Control.Category and GHC 7.6.1
danburton.email at gmail.com
Mon Aug 13 15:55:39 CEST 2012
> 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...
More information about the Libraries