> but it would take a lot of careful evaluation This is what I was doing for a number of years. > The most salient counterexample that comes to mind is modula

> but it would take a lot of careful evaluation This is what I was doing for a number of years. > The most salient counterexample that comes to mind is modularity and namespacing. Polymorphic variants and ocaml namespacing are nice, granted. These are the two ocaml features I've ever missed while using haskell. Minor details overall though. Namespacing is not as useful with typeclasses and PVs have typing problems. > in my experience, OCamlers tend to not be very invested in arguing for the supremacy of OCaml Yeah, this is mostly because it's not as much of a marginal improvement, so it doesn't have as many people interested in shilling it.