-
Simon Peyton Jones authored
Slight wibble on polytype syntax, going in the direction of allowing for-alls in more places. This one lets you say forall a. forall b. a->b
324ec543
Slight wibble on polytype syntax, going in the direction of allowing for-alls in more places. This one lets you say forall a. forall b. a->b