Oℕ
соответственно, в моём случае компилятору нужно было провернуть первый трюк
у меня был кейс-класс как на первой картинке https://t.me/scala_ponv/954581
компилятору нужно было сделать вывод, что S1 = S2 когда матчился по такому
и компилятор справился бы, но к несчастью среди типов, которые были в конструкторе был хайеркайнд
и тут компилятор ломался
поэтому я переписал код так, чтобы в этом случае компилятор не делал бы сложных трюков и не ломал бедро, соответственно