package foo:foo; interface simple-lists { simple-list1: func(l: list); simple-list2: func() -> list; simple-list3: func(a: list, b: list) -> tuple, list>; simple-list4: func(l: list>) -> list>; } world my-world { import simple-lists; export simple-lists; }