package foo:foo; interface foo { type g = char; } world w { use foo.{g}; import foo: func() -> g; }