Also, apologies for reviving a thread. I also did not include Edward's
original message for better context. It is inline below.

--------------------------

Would it be possible to add something like

{-# LANGUAGE CPP #-}
#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 704
{-# LANGUAGE PolyKinds #-}
#endif

to the top of Control.Category before the 7.6.1 final release?

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.

I only noticed that it wasn't there in the release candidate just now.

-Edward Kmett

--------------------------

--
Regards,
Austin - PGP: 4096R/0x91384671