anchor.diff:                      interface IGetEssenceOfComparerType with
                           member __.Get () = func.GetType ()
   
  -            let inline GenericComparisonWithERIntrinsic_inline (comp:System.Collections.IComparer) (x:'T) (y:'T) : int = 
  -                GenericSpecializeCompareTo.Function<EquivalenceRelation,_>.Func.Ensorcel (comp, x, y)            
  -
               /// Compare two values of the same generic type, using "comp".
               //
               // "comp" is assumed to be either fsComparerPER or fsComparerER (and hence 'Compare' is implemented via 'GenericCompare').
  
positive.code:                             eliminate_tail_call_int (cth (cth (cth a b) (cth c d)) (cth (cth e f) (cth g h)))
                  
                  let getEssenceOfGetHashCodeType ty =
                      let x = typedefof<GenericSpecializeHash.Function<_>>
                      let o = x.MakeGenericType [|ty|]
                      match Activator.CreateInstance o with
                      | :? GenericSpecializeHash.IGetEssenceOfGetHashCodeType as getter -> getter.Get ()
                      | _ -> raise (Exception "invalid logic")
  
                  let getEssenceOfEqualsType ty =
                      let x = typedefof<GenericSpecializeEquals.Function<_,_>>
                      let o = x.MakeGenericType [|typeof<EquivalenceRelation>; ty|]
                      match Activator.CreateInstance o with
                      | :? GenericSpecializeEquals.IGetEssenceOfEqualsType as getter -> getter.Get ()
                      | _ -> raise (Exception "invalid logic")
  
  
negative.code:                     else null
  
                  type u = Specializations.EqualsTypes.Int32
                  let tuplesEquals (tyRelation:Type) (ty:Type) : obj =
                      if ty.IsGenericType then
                          let tyDef = ty.GetGenericTypeDefinition ()
                          let tyDefArgs = ty.GetGenericArguments ()
                          let create = mos.compositeCreator (getEssenceOfEqualsType tyRelation) tyDefArgs
                          if   tyDef.Equals typedefof<Tuple<_>>               then create typedefof<TupleEssenceOfEquals<int,u>>
                          elif tyDef.Equals typedefof<Tuple<_,_>>             then create typedefof<TupleEssenceOfEquals<int,int,u,u>>
                          elif tyDef.Equals typedefof<Tuple<_,_,_>>           then create typedefof<TupleEssenceOfEquals<int,int,int,u,u,u>>
  