\insert 'LAppend.oz' declare fun lazy {LAMap Xs F} case Xs of nil then nil [] X|Xr then {LAppend {F X} {LMap Xr F}} end end