Может это уже спрашивали, но у меня не получилось найти.

def m() {
  ...
  def t : object = ...;
  match(t) {
    | _ is IDictionary['k,'v] => {}
    | _ is IEnumerable['k] => {}
    | _ => {}
  }
  ...
}

Такая штука штука не работает. В принципе понятно, что компилятору нужно знать откуда объявились ['k, 'v].
То есть, так работает:

def m['k,'v]() {
  ...
  def t : object = ...;
  match(t) {
    | _ is IDictionary['k,'v] => {}
    | _ is IEnumerable['k] => {}
    | _ => {}
  }
  ...
}

Но этот матч у меня часть большого comp expression, а вводить типы во внешней функции совсем не хочется.
Есть ли обходные варианты? Сейчас беру типы из GetGenericArguments()