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

[Eric Mertens]

I'd prefer that we didn't prescribe a meaning to this generally useful type
operator. This type synonym is very easy to define in any module where it's
appropriate.

On Mon, Nov 14, 2016 at 10:12 AM 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
> _______________________________________________
> 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/20161114/cef8d108/attachment.html>