package foo:bar;

world module {
  import foo: interface {
    resource a;
  }
}