из того, что нашёл - приоритет патаед в зависимости от того, как глубоко он залез, чтобы его найти, но растёт, в зависимости от того, насколько точный тип
если два инстанса имеют несравнимые типы, но находятся на одной глубине, либо находятся на разных глубинах, но тот, что глубже - точнее, компилятор посылает тебя нахуй