I'm new to F# so forgive me in advance if this is a stupid question or if the syntax may be a bit off. Hopefully it's possible to understand the gist of the question anyways. What I'd like to achi...

Suppose I have a type consisting of multiple polymorphic variants (covariantly) such as the following: [> `Ok of int | `Error of string] Let's further suppose that I want to factor this defin...

I have the following code: module Test : sig type +'a t val make : int -> [< `a | `b] t end = struct type 'a t = Foo of int | Bar of string let make = function | 0 -> (Foo 0 : [`a] ...

Given these types type a = [ `A ] type b = [ a | `B | `C ] and this function let pp: [< b] -> string = function | `A -> "A" | `B -> "B" | `C -> "C" applying a value of type ...