On Sun, Feb 10, 2013 at 12:36 PM, Ross Paterson wrote:

On Sun, Feb 10, 2013 at 11:50:29AM -0500, Jake McArthur wrote:

...

I realize that transformers is intended to be portable, but I was wondering if it would be crazy to use the PolyKinds extension for compilers that support it. As long as nothing is added to transformers that depends on it, it should not break compatibility with other compilers, and it would make a lot of types more generally useful for GHC >= 7.6.

Also, is there a mailing list I should be sending this to?

Which ones would be more general?

The following transformers types would be more general with PolyKinds enabled: * Backwards * ContT * IdentityT * ReaderT * Compose * Constant * Product * Reverse

I guess libraries@haskell.org would be the best mailing list.

Alright, I'm including the libraries list. - Jake