* F# is not a superset of OCaml. OCaml has a number of powerful features missing from F#, like functors, polymorphic variants, and first-class modules.

* I disagree that the ecosystem is "stale". There's lots of recent activity around the language, and you can find libraries for almost everything.