Of course, in OCaml that's just

    if_then_else c t e = 
      match c with
      | true  -> t ()
      | false -> e ()
   

So the question sort of becomes one of how painful thunking or anonymous function syntax is.