package foo:into;

interface a {
  use foo:foo/a.{b};
}