anchor.diff:  type Distinct() =
       inherit Default1()
       static member val Instance = Distinct()
  -    [<Extension>]static member        Distinct (x:seq<'T>    , [<Optional>]impl:Default2) = Seq.distinct x
       [<Extension>]static member inline Distinct (x:'Foldable'T, [<Optional>]impl:Default1) = x |> ToSeq.Invoke |> Seq.distinct |> FromSeq.Invoke :'Foldable'T
       [<Extension>]static member        Distinct (x:list<'T>   , [<Optional>]impl:Distinct) = Seq.distinct x |> Seq.toList
       [<Extension>]static member        Distinct (x:'T []      , [<Optional>]impl:Distinct) = Seq.distinct x |> Seq.toArray
  
positive.code: [<Extension;Sealed>]
  type Take() =
      static member val Instance = Take()
      [<Extension>]static member        Take (x:seq<'a>       , n, [<Optional>]impl:Default2) = Seq.take n x
      [<Extension>]static member inline Take (x:'Foldable'T   , n, [<Optional>]impl:Default1) = x |> ToSeq.Invoke |> Seq.take n |> FromSeq.Invoke :'Foldable'T
      [<Extension>]static member        Take (x:string        , n, [<Optional>]impl:Take    ) = x.[..n-1]
      [<Extension>]static member        Take (x:StringBuilder , n, [<Optional>]impl:Take    ) = new StringBuilder(x.ToString().[..n-1])
  
negative.code: type Sort() =
      inherit Default1()
      static member val Instance = Sort()
      [<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
  