declare fun {Map Ls F} case Ls of H|T then {F H}| thread {Map T F} end else nil end end