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

John Wiegley johnw at
Mon Nov 14 21:48:01 UTC 2016

>>>>> "EM" == Eric Mertens <emertens at> 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                          60E1 46C4 BD1A 7AC1 4BA2

More information about the Libraries mailing list