Там вроде ничего про тайп параметры у методов нет
Там Мартин все написал, что они долго думали, но наконец согласились с тем, что extented with костыль для гивен, который они позиционируют совсем для другого и потому будет отдельное в лучших традициях имплисит классов и видимо там уже не будет стоять вопроса, потому что реализация вполне очевидна.