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

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/Contro... https://hackage.haskell.org/package/natural-transformation-0.3.1/docs/Contro...

On 14 Nov 2016, at 20:11, Baldur Blöndal 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries