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

[Baldur Blöndal]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161114/89ccbffe/attachment.html>