let empty = (\f (\z z)) in let ml = (\h (\t (\f (\z ((f h) ((t f) z)))))) in let list = ((ml a) ((ml b) ((ml c) ((ml d) ((ml e) empty))))) in let map = (\f (\l (l (\h (\t ((ml (f h)) t)))))) in ( list ((map (\x x)) list) )