package foo:foo;

interface a {
  resource r {
    constructor();
  }
}

world module {
  import a;
  export a;
}