Re: Proposal: Add ‘type f ~> g = forall a. f a -> g a’

[Oleg Grenrus]

FWIW, i personally use `natural-transformation` library [1], which
provides this exact type alias, and also newtype around it (which is occasionally useful).

I’d rather promote the usage of the library (which has only `base` as dependency!).

- [1]: https://hackage.haskell.org/package/natural-transformation-0.3.1/docs/Control-Natural.html <https://hackage.haskell.org/package/natural-transformation-0.3.1/docs/Control-Natural.html>

> On 14 Nov 2016, at 20:11, Baldur Blöndal <baldurpet at gmail.com> wrote:
> 
> What the subject says, add
> 
>     type f ~> g = forall a. f a -> g a
> 
> to ‘base’. Further motivation (and arguments against) in GHC Trac ticket 12772 [1].
> 
> [1] https://ghc.haskell.org/trac/ghc/ticket/12772 <https://ghc.haskell.org/trac/ghc/ticket/12772>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161115/84d6e3bd/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161115/84d6e3bd/attachment.sig>