перегрузка активных шаблонов F #

Я новичок в F # и активных паттернах, и я столкнулся с аномалией, которую не могу объяснить.

module Eval =
let (|Bet|Pass|) (test:BetChoice) =
    match test with
        | BetChoice.Bet -> Bet
        | BetChoice.Pass -> Pass

let (|NoBet|Bet|Pass|) (test:Nullable<BetChoice>) : Choice<unit, unit, unit> =
    match test.HasValue with
        | true -> match test.Value with 
                      | BetChoice.Bet -> Bet
                      | BetChoice.Pass -> Pass
        | false -> NoBet

let FlipByWinner ((value:int), (awins:bool)) =
    match awins with
    | true -> (value, -value)
    | false -> (-value, value)

let Evaluation (awins:bool) (player11:BetChoice) (player21:BetChoice) (player12:Nullable<BetChoice>) =
     match player11 with
     | Pass -> match player21 with
               | Pass -> FlipByWinner(1, awins)
               | Bet-> match player12 with
                       | Bet -> FlipByWinner(2, awins)
                       | Pass -> FlipByWinner(1, false)
                       | NoBet -> raise (System.ArgumentException("invalid strategy"))
     | Bet ->  match player21 with
               | Bet -> FlipByWinner (2, awins)
               | Pass -> FlipByWinner (1, false)

Это не компилируется. С небольшими изменениями я могу заставить его работать так, как задумано, но тот факт, что я точно не знаю, что происходит, заставляет меня немного нервничать ... второй шаблон можно переименовать в "(| NoBet | Bet1 | Pass1 | ) "и связанные с ним шаблоны меняются по всему коду, тогда он работает, но я действительно не понимаю, почему здесь возникает исключение несоответствия типов.

Также есть ли хороший способ справиться с двумя активными паттернами, которые почти идентичны, но не совсем? похоже, должен быть способ объединить общие вещи воедино. (в качестве примечания, похоже, что отступы были испорчены при копировании / вставке, это все правильно является частью модуля Eval).