I agree with Asumu. The transition from `(All (A) -> Number)` (working) to `(All (A) -> Number Number)` (not working) would be confusing.