It’s so they are readable left to right, which is typically easier. The difference can be seen most clearly with writing the type of functions as arguments.
No, they both read equally "left to right". What GP asks, why "a : A" instead of "A a" and "fn -> A" instead of "A fn" has billions of right answers, but "readable left to right" is not one of them.
No, they both read equally "left to right". What GP asks, why "a : A" instead of "A a" and "fn -> A" instead of "A fn" has billions of right answers, but "readable left to right" is not one of them.