On Thu, Feb 7, 2013 at 2:59 PM, Martin Jambon <martin.jambon@ens-lyon.org> 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.