Вот я просто щас пытаюсь сделать такую дичь.
У меня есть трейт, с асоциироваными типами. И я хочу повесить на это все повесить вот такой констрейт.
Тип X который реализовывает этот трейт должен назначить асоциированый тип T, который реализует трейт B параметризованный типом X.