C<Int> and C<String> are, indeed, diff...

# language-proposals

[dmitry.petrov]

C<Int> and C<String> are, indeed, different entities (types).
foo<Int> and foo<String> are two specializations of the same generic function.