class Bar
  {
    method fn (...) {...}
  }

  interface Foo
  {
    require method fn (...);
  }