declare fun lazy {LAppend As Bs} case As of nil then Bs [] A|Ar then A|{LAppend Ar Bs} end end