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