anchor.diff:                      member __.GetHashCode (x:'a) =
                           Specializations.FlaconOfGetHashCode<'a,'ghc>.Instance.Ensorcel (fsEqualityComparerUnlimitedHashingPER, x)
   
  +            [<Sealed>]
               type EssenceOfComparer<'a, 'comp
                       when 'comp  :> Specializations.IEssenceOfCompareTo<'a> and 'comp : (new : unit -> 'comp)>() =
                   
  
positive.code:                 match comp with
                  | :? GenericComparer as info ->
                      match info.ComparerType with
                      | ComparerType.ER     -> eliminate_tail_call_int (GenericSpecializeCompareTo.Function<EquivalenceRelation,_>.Func.Ensorcel (comp, x, y))
                      | ComparerType.PER_gt -> eliminate_tail_call_int (GenericSpecializeCompareTo.Function<PartialEquivalenceRelation,_>.Func.Ensorcel (comp, x, y))
                      | ComparerType.PER_lt -> eliminate_tail_call_int (GenericSpecializeCompareTo.Function<PartialEquivalenceRelation,_>.Func.Ensorcel (comp, x, y))
                      | _ -> raise (Exception "invalid logic")
                  | c when obj.ReferenceEquals (c, Comparer<'T>.Default)   ->
                      eliminate_tail_call_int (Comparer<'T>.Default.Compare (x, y))
  
negative.code:                 let getEssenceOfGetHashCodeType ty =
                      let getHashCode = mos.makeGenericType<GenericSpecializeHash.Function<_>> [|ty|]
                      match Activator.CreateInstance getHashCode with
                      | :? mos.IGetType as getter -> getter.Get ()
                      | _ -> raise (Exception "invalid logic")
  
                  let getEssenceOfEqualsType tyRelation ty =
                      let equals = mos.makeGenericType<GenericSpecializeEquals.Function<_,_>> [| tyRelation; ty|]
                      match Activator.CreateInstance equals with
                      | :? mos.IGetType as getter -> getter.Get ()
                      | _ -> raise (Exception "invalid logic")
  
                  type t = Specializations.GetHashCodeTypes.Int32
  