package foo:%from;

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