I noticed that, among OCaml programmers I know, some of them *always* use polymorphic variants (variants that are not declared, prefixed with a backquote), while other ones *never* use polymorphic variants, and prefer variants declared in types.

Except for performance reasons (polymorphic variants are currently compiled less efficiently than simple variants), how do expert OCaml developers choose between them ?