declare fun {Buffer2 In N} End=thread {List.drop In N} end fun lazy {Loop In End} case In of I|In2 then I|{Loop In2 thread End.2 end} end end in {Loop In End} end