anchor.diff:  type Sort() =
       inherit Default1()
       static member val Instance = Sort()
  -    [<Extension>]static member        Sort (x:seq<'a>    , [<Optional>]impl:Default2) = Seq.sort   x
       [<Extension>]static member inline Sort (x:'Foldable'T, [<Optional>]impl:Default1) = x |> ToSeq.Invoke |> Seq.sort |> FromSeq.Invoke :'Foldable'T
       [<Extension>]static member        Sort (x:list<'a>   , [<Optional>]impl:Sort    ) = List.sort  x
       [<Extension>]static member        Sort (x:'a []      , [<Optional>]impl:Sort    ) = Array.sort x
  
positive.code: type SortBy() =
      inherit Default1()
      static member val Instance = SortBy()
      [<Extension>]static member        SortBy (x:seq<'a>    , f      , [<Optional>]impl:Default2) = Seq.sortBy   f x
      [<Extension>]static member inline SortBy (x:'Foldable'T, f      , [<Optional>]impl:Default1) = x |> ToSeq.Invoke |> Seq.sortBy f |> FromSeq.Invoke :'Foldable'T
      [<Extension>]static member        SortBy (x:list<'a>   , f      , [<Optional>]impl:SortBy  ) = List.sortBy  f x
      [<Extension>]static member        SortBy (x:'a []      , f      , [<Optional>]impl:SortBy  ) = Array.sortBy f x
  
negative.code: type Rev() =
      inherit Default1()
      static member val Instance = Rev()
      [<Extension>]static member inline Rev (x:'Foldable'T, [<Optional>]impl:Default1) = x |> ToSeq.Invoke |> Seq.toArray |> Array.rev |> Array.toSeq |> FromSeq.Invoke :'Foldable'T
      [<Extension>]static member        Rev (x:list<'a>   , [<Optional>]impl:Rev     ) = List.rev  x
      [<Extension>]static member        Rev (x:'a []      , [<Optional>]impl:Rev     ) = Array.rev x
  