Meintest du:

List.map2 List.map List.php3 List.max Listmap