[marktangotango]

Since that is the 'current consensus' as you say, it seems like the ocaml community converged on the opinion I formed 10 years ago. But it wasn't necessarily the consensus then.

[Raphael_Amiard]

Ok, makes perfect sense !