Навеяно идеей "типажей", traits, из Scala.

class Bar
{
  public F() : void {}
}

interface IFoo
{
  F() : void;
}


def x = Bar();
def t = x ::> IFoo;

Оператор ::> изготавливает обертку, реализующую интерфейс IFoo, перенаправляя вызовы соответствующим методом переменной x типа Bar.
Смысл в том, что тип Bar не реализует интерфейс IFoo, но его сигнатура совместима с этим интерфейсом.