ちょうど真下のコメントにできないっぽいことが書いてありましたね

I also think taking this approach will lead to a confusing model because programmers will need to deeply understand where they can omit some and where they cannot. For example, you'd be able to write a parameter of type P, but not of type [P].