anchor.diff:      | Choice4Of4 of 'T4
   
   [<Proxy(typeof<Choice<_,_,_,_,_>>)>]
  -[<DefaultAugmentation(false)>]
   [<Name "WebSharper.Choice5">]
   type private ChoiceProxy<'T1,'T2,'T3,'T4,'T5> =
       | Choice1Of5 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: namespace WebSharper
  
  [<Proxy(typeof<Choice<_,_>>)>]
  [<Name "WebSharper.Choice2">]
  type private ChoiceProxy<'T1,'T2> =
      | Choice1Of2 of 'T1
      | Choice2Of2 of 'T2
  
  [<Proxy(typeof<Choice<_,_,_>>)>]
  [<Name "WebSharper.Choice3">]
  type private ChoiceProxy<'T1,'T2,'T3> =
      | Choice1Of3 of 'T1
  