Interesting! We're building a bindings generator for a C++ library, and the current prototype is written in OCaml. I might shift it over to F# and see what's up.