I didn't change how All-bodys are parsed. Arguably, it should change, but what should the rule be for disallowing that prefix `->`? After all `(All (A) -> Number)` is a valid infix arrow function type but `(All (A) -> Number Number)` is not, so it can't be just based on the position.

On the flip side, it's not actually ambiguous so maybe it's fine?