Возможно ли перечисление по типу пользовательского объединения?

Имея такой тип непересекающегося объединения:

type yolo = | A | B | C

Возможно ли в OCaml перебирать/перебирать каждое возможное значение типа yolo без предварительного знания того, сколько/каковы эти значения?

Чего я хочу добиться, так это функции, которая принимает тип и возвращает список со всеми его значениями. Например:

let yolos = extractor yolo
val yolos : yolo list = [A; B; C]

(Я ищу способ реализовать функцию extractor из приведенного выше фрагмента)

В F# моя цель достижима примерно так:

open Microsoft.FSharp.Reflection

type yolo =
    | A
    | B
    | C
let yolos = FSharpType.GetUnionCases typeof<yolo>