On 11/03/2013 07:38 PM, Adam Chlipala wrote: > [Top.map2] is for records, not lists, so it wouldn't have done what > you want anyway. I've added your function (generalized in the usual > polymorphic way) to the standard library as [ListPair.map2]. ...and later I realized that [ListPair.map2] is a redundant name, so I've changed it to [ListPair.mp].