Как использовать подстановочный знак для высокодородного типа в Scala?

Допустим, у меня есть эта черта

trait Ctx[C, V[_]]

. Я не могу построить сигнатуру метода, которая принимает Ctx, у которой второй параметр типа не указан (подстановочный знак). Например, это:

def test(c: Ctx[_, _]) = ()

не компилируется ( "ошибка: _ $ 2 не принимает параметров типа, ожидается: один" ). Я тоже не могу выполнить ошибку

def test(c: Ctx[_, _[_]]) = ()

( »: _ $ 2 не принимает тип параметры »). У меня это работает нормально. Но я хочу медленно прокрутить до места, чтобы пользователь мог заметить эффект. Является ли это возможным. Я пробую ...

Я использую UIScrollView и использую scrollRectToVisible: animated У меня это работает нормально. Но я хочу медленно прокрутить до места, чтобы пользователь мог заметить эффект. Возможно ли.

Я пытаюсь выполнить следующий код, но мне это не удалось.

[UIView beginAnimations:nil context:NULL];
[UIView setAnimationBeginsFromCurrentState:YES];
[UIView setAnimationDuration:2.0];  
[scrlView scrollRectToVisible:<<some cgrect>> animated:YES];            
[UIView commitAnimations];