PolyKinds in transformers

[Jake McArthur]

On Sun, Feb 10, 2013 at 12:36 PM, Ross Paterson <ross at 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 at haskell.org would be the best mailing list.
>

Alright, I'm including the libraries list.

- Jake
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130210/466ba7f3/attachment.htm>