14 Nov
2016
14 Nov
'16
6:36 p.m.
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
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