anchor.diff:  
   [<Extension;Sealed>]
   type Item3 =
  -    static member inline       Item3 (t :'a          ) = (^a : (member Item3: _ ) t)
       [<Extension>]static member Item3 ((_, _, c, _, _)) = c
       [<Extension>]static member Item3 ((_, _, c, _)   ) = c
       [<Extension>]static member Item3 ((_, _, c)      ) = c
  
positive.code: 
  [<Extension;Sealed>]
  type Item5 =
      static member inline       Item5 (t :'a          ) = (^a : (member Item5: _ ) t)
      [<Extension>]static member Item5 ((_, _, _, _, e)) = e
  
      static member inline Invoke value = 
  
negative.code: 
  [<Extension;Sealed>]
  type Item2 =
      [<Extension>]static member Item2 ((_, b, _, _, _)) = b
      [<Extension>]static member Item2 ((_, b, _, _)   ) = b
      [<Extension>]static member Item2 ((_, b, _)      ) = b
  