> > 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
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
