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

Mon Nov 14 21:48:01 UTC 2016

>>>>> "EM" == Eric Mertens <emertens at gmail.com> 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