package foo:into;

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