temp

   1 let empty = (\f (\z z)) in
   2 let ml = (\h (\t (\f (\z ((f h) ((t f) z)))))) in
   3 let list = ((ml a) ((ml b) ((ml c) ((ml d) ((ml e) empty))))) in
   4 let map = (\f (\l (l (\h (\t ((ml (f h)) t)))))) in
   5
   6 (
   7
   8 list
   9
  10 ((map (\x x)) list)
  11
  12 )
  13