That's true though. You argued why they're not necessary but not that they're there. And C# still lacks a solution to the ML module system, GADTs, and other adv

That's true though. You argued why they're not necessary but not that they're there. And C# still lacks a solution to the ML module system, GADTs, and other advanced features of OCaml.