let map2_exn = Core_list_map.map2_exn