Допустим есть:

class Foo
{
 public void Some()
 { 
 }
}

interface IMySuperSome
{
  void Some();
}

Хочется следующего:

public void Write(IMySuperSome s)
{
}
...

Write(new Foo());

Ну естественно чтобы компилировалось и проверялось статически. Собственно по каким причинам решили так не делать?