let map_reduce mapf redf red0 xs = ...
val map_reduce :
  ('a -> 'b * 'c) -> ('d -> 'c -> 'd) -> 'd -> 'a list -> ('b * 'd) list =
  <fun>