anchor.diff:      | Choice3Of3 of 'T3
   
   [<Proxy(typeof<Choice<_,_,_,_>>)>]
  -[<DefaultAugmentation(false)>]
   [<Name "WebSharper.Choice4">]
   type private ChoiceProxy<'T1,'T2,'T3,'T4> =
       | Choice1Of4 of 'T1
  
positive.code:     | Choice6Of6 of 'T6
  
  [<Proxy(typeof<Choice<_,_,_,_,_,_,_>>)>]
  [<DefaultAugmentation(false)>]
  [<Name "WebSharper.Choice7">]
  type private ChoiceProxy<'T1,'T2,'T3,'T4,'T5,'T6,'T7> =
      | Choice1Of7 of 'T1
  
negative.code:     | Choice5Of5 of 'T5
  
  [<Proxy(typeof<Choice<_,_,_,_,_,_>>)>]
  [<Name "WebSharper.Choice6">]
  type private ChoiceProxy<'T1,'T2,'T3,'T4,'T5,'T6> =
      | Choice1Of6 of 'T1
  