declare fun lazy {From N} N|{From N+1} end {Browse {Map {From 0} fun {$ N} N*N end}}