On Thu, Feb 7, 2013 at 2:59 PM, Martin Jambon wrote: > What's wrong with the following: > > let foo ~f x = ... > let fooi ?(f = fun x -> x) x = foo ~f x I'd not even define fooi. One can easily call `foo id`, so indeed this is not a big issue. It would just be a slight convenience to have the default, and it's mostly out of curiosity.