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@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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries