Habilidad para provocar errores de compilación al cambiar el valor en OCaml.

Me gustaría expresar, de manera compilada, que mi código funciona bajo la suposición de que un valor es una cierta constante. Para simplificar, digamos que tengo este módulo:

module Lib : sig
  type t = A|B|C|D
  val default : t
  val f : t option -> unit
end = struct
  type t = A|B|C|D
  let default = B
  let f _ = ()
end

Y escribo código fuera de Lib y quiero afirmar de manera compilada que necesito que el valor predeterminado sea B. Esto significa que quiero un error de compilación cuando Lib.default es diferente de B, en cuyo caso quiero revisar si mi código está bien con el valor diferente. De esta manera, no tendría que leer las notas de lanzamiento de la biblioteca, el compilador me llamaría de vuelta.

Tengo cierto control sobre Lib, por lo que puedo cambiarlo si es necesario. Estoy interesado en otras formas de estructurarlo si esto hace que la afirmación en tiempo de compilación sea más fácil, por no decir posible.

Tengo otras partes del código que no dependen de esto, por ejemplo:

let config : Lib.t option =
  match Lib.default with
  | A
  | B
  | C -> None
  | D -> Some C

Estaba pensando en hacer subtipos, como en

type t = [`A|`B|`C|`D]
val default : [`B]

pero entonces pierdo la información de que default puede cambiar a otros constructores de t, y luego esto daría un error de compilación diciendo que hacer coincidir con A es imposible.

let config : Lib.t option =
  match Lib.default with
  | `A
  | `B
  | `C -> None
  | `D -> Some `C

Gracias.