gistfile1.fs

let values = [ 1;2;3;2;3;1 ]
let f y x =
    if x = y then Choice2Of2 1
    else if x < y then Choice1Of2 2
    else Choice2Of2 3

let ``all values are Choice1Of2`` = 
    values
    |> List.map (f 4)
let sequence1 =
    ``all values are Choice1Of2``
    |> FSharpx.Choice.sequence

let ``contains Choice2Of2`` =
    values
    |> List.map (f 2)
let sequence2 =
    ``contains Choice2Of2``
    |> FSharpx.Choice.sequence

gistfile2.txt

val values : int list = [1; 2; 3; 2; 3; 1]
val f : y:'a -> x:'a -> Choice<int,int> when 'a : comparison

val ( all values are Choice1Of2 ) : Choice<int,int> list =
  [Choice1Of2 2; Choice1Of2 2; Choice1Of2 2; Choice1Of2 2; Choice1Of2 2;
   Choice1Of2 2]
val sequence1 : Choice<int list,int> = Choice1Of2 [2; 2; 2; 2; 2; 2]

val ( contains Choice2Of2 ) : Choice<int,int> list =
  [Choice1Of2 2; Choice2Of2 1; Choice2Of2 3; Choice2Of2 1; Choice2Of2 3;
   Choice1Of2 2]
val sequence2 : Choice<int list,int> = Choice2Of2 1