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 o

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.