package foo:bar; interface a { resource r; } world module { export b: interface { use a.{r}; foo: func() -> r; } }