"Model 2" prototype status

[Simon Ochsenreither]

>  we'll probably accept Foo<any> as shorthand for Foo<any, any, any>
> and Foo<ref> as shorthand for Foo<ref, ref, ref>
>
> Since the arity is fixed and known at compile time, there's no problem
> with this; there's no other logical meaning to instantiating with the
> wrong number of type args.
 
Partially applied type constructors? Not saying that this is a concern now, but
maybe your successor in 15 years will curse you for using this syntax, when they
try to make Java 20's type system a bit more useful. :-)