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