declare fun {Map Ls F} case Ls of nil then nil [] H|T then {F H} | {Map T F} end end