local MyMap in
MyMap = proc {$ Ls F R}
case Ls of
`|`(1:H 2:T) then local Res in
{F H Res}
local RestAns in
R=`|`(1:Res 2:RestAns)
{MyMap T F RestAns}
end
end
else R=nil
end
end
{MyMap MyList MyFun MyRes}
end