package foo:foo; interface i { record some-type { f: u8, } the-func: func() -> some-type; } world module { use i.{some-type as other-name}; import i; export i; }