Replaces the implicit _ with an explicit type in a type argument.