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

...

...

...

...

"EM" == Eric Mertens writes:

EM> I'd prefer that we didn't prescribe a meaning to this generally useful EM> type operator. This type synonym is very easy to define in any module EM> where it's appropriate. I agree. Taking "~>" for natural transformations seems too specific. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2