У меня есть следующие типы: SomeTypeClass Тип более высокого порядка, который имеет один параметр типа вида * => * => * trait SomeTypeClass[P[_, _]] { def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])...