$use StdIO; $func Main = e; Main = 1 2 3 : e.nums, e.nums $iter { e.nums : s.n e.rest = , e.rest; } :: e.nums, e.nums : /*empty*/;