Открытые и закрытые типы объединения в Ocaml

Я впервые изучаю OCaml, имея немного фона с F # и Haskell. По сути, многое выглядит знакомо, но одна вещь не является концепцией «открытых» и «закрытых» объединений (с обратным апострофом и синтаксисом [<).

Для чего они полезны и как часто они используются?