Of course, "T == int" is unambiguous, but then when you can do
that and not "T == J" you'll confuse people ("the compiler knows
T and J are types...") and that rabbit hole is a dangerous one.
Mainly because it makes parsing more difficult. I am nothing if
not biased. :P