package foo:foo;

world module {
  import foo: interface {}
}