package foo:bar; interface foo { resource r; type handle = own; } world module { export foo; export anon: interface { use foo.{handle}; f: func() -> handle; } }