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