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