anchor.diff:      inherit IShapeTuple
       abstract Accept : ITuple5Visitor<'R> -> 'R
   
  -type ShapeTuple<'T1, 'T2, 'T3, 'T4, 'T5> () =
  +type private ShapeTuple<'T1, 'T2, 'T3, 'T4, 'T5> () =
       inherit TypeShape<'T1 * 'T2 * 'T3 * 'T4 * 'T5> ()
       interface IShapeTuple5 with
           member __.Accept v = v.Visit<'T1, 'T2, 'T3, 'T4, 'T5> ()
  
positive.code:     abstract Visit<'T when 'T : comparison> : unit -> 'R
  
  type IShapeFSharpSet =
      inherit IShapeCollection
      abstract Accept : IFSharpSetVisitor<'R> -> 'R
  
  type ShapeFSharpSet<'T when 'T : comparison> () =
      inherit TypeShape<Set<'T>> ()
      interface IShapeEnumerable with
          member __.Accept v = v.Visit<'T> ()
  
negative.code:     abstract Visit<'K, 'V when 'K : comparison> : unit -> 'R
  
  type IShapeFSharpMap =
      abstract Accept : IFSharpMapVisitor<'R> -> 'R
  
  type private ShapeFSharpMap<'K, 'V when 'K : comparison> () =
      inherit TypeShape<Map<'K,'V>> ()
      interface IShapeEnumerable with
          member __.Accept v = v.Visit<KeyValuePair<'K, 'V>> ()
  