In OCaml 4.01, the compiler is smart enough to distinguish between constructors ...

		jallmann on April 13, 2015 \| parent \| context \| favorite \| on: Namespacing Variants in ML In OCaml 4.01, the compiler is smart enough to distinguish between constructors with the same name but a different type -- so those variants wouldn't even need to be polymorphic anymore. This also partially mitigates the need for 'namespacing' your variants.

Oh, that's pretty nice. OCaml really gets namespacing problems out your way.