On Sun, Feb 10, 2013 at 12:36 PM, Ross Paterson <ross@soi.city.ac.uk> 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