[nextaccountic]

But I'm not talking about function application - I'm talking about type application.

The syntax of type application and function application is already different in rust: F<A, B> vs f(a, b).

Type application even has default and named parameters! F<X = A, Y = B> and F<A> if B has a default.

I just think this particular type-level syntax is very noisy, specially because types in Rust tend to be very nested.