Comment by gchpaco

And said notation causes the generic type system to be Turing complete, as in the Java case.