anchor.diff:                              let tyDef = ty.GetGenericTypeDefinition ()
                               let tyDefArgs = ty.GetGenericArguments ()
                               let create = mos.compositeType (Helpers.getEssenceOfCompareToType tyRelation) tyDefArgs
  -                            if   tyDef.Equals typedefof<Tuple<_>>               then create typedefof<ComparerTypes.Tuple<int,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_>>             then create typedefof<ComparerTypes.Tuple<int,int,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_>>           then create typedefof<ComparerTypes.Tuple<int,int,int,t,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_,_>>         then create typedefof<ComparerTypes.Tuple<int,int,int,int,t,t,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_,_,_>>       then create typedefof<ComparerTypes.Tuple<int,int,int,int,int,t,t,t,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_>>     then create typedefof<ComparerTypes.Tuple<int,int,int,int,int,int,t,t,t,t,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_,_>>   then create typedefof<ComparerTypes.Tuple<int,int,int,int,int,int,int,t,t,t,t,t,t,t>> 
  -                            elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_,_,_>> then create typedefof<ComparerTypes.Tuple<int,int,int,int,int,int,int,int,t,t,t,t,t,t,t,t>> 
  +                            if   tyDef.Equals typedefof<Tuple<_,_>>       then create typedefof<ComparerTypes.Tuple<int,int,t,t>> 
  +                            elif tyDef.Equals typedefof<Tuple<_,_,_>>     then create typedefof<ComparerTypes.Tuple<int,int,int,t,t,t>> 
  +                            elif tyDef.Equals typedefof<Tuple<_,_,_,_>>   then create typedefof<ComparerTypes.Tuple<int,int,int,int,t,t,t,t>> 
  +                            elif tyDef.Equals typedefof<Tuple<_,_,_,_,_>> then create typedefof<ComparerTypes.Tuple<int,int,int,int,int,t,t,t,t,t>> 
                               else null
                           else null
   
  
positive.code:                             let tyDef = ty.GetGenericTypeDefinition ()
                              let tyDefArgs = ty.GetGenericArguments ()
                              let create = mos.compositeType Helpers.getEssenceOfGetHashCodeType tyDefArgs
                              if   tyDef.Equals typedefof<Tuple<_>>               then create typedefof<GetHashCodeTypes.Tuple<int,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_>>             then create typedefof<GetHashCodeTypes.Tuple<int,int,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_>>           then create typedefof<GetHashCodeTypes.Tuple<int,int,int,t,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_,_>>         then create typedefof<GetHashCodeTypes.Tuple<int,int,int,int,t,t,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_,_,_>>       then create typedefof<GetHashCodeTypes.Tuple<int,int,int,int,int,t,t,t,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_>>     then create typedefof<GetHashCodeTypes.Tuple<int,int,int,int,int,int,t,t,t,t,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_,_>>   then create typedefof<GetHashCodeTypes.Tuple<int,int,int,int,int,int,int,t,t,t,t,t,t,t>>
                              elif tyDef.Equals typedefof<Tuple<_,_,_,_,_,_,_,_>> then create typedefof<GetHashCodeTypes.Tuple<int,int,int,int,int,int,int,int,t,t,t,t,t,t,t,t>>
                              else null
                          else null
  
  
negative.code:                             let d = phantom<'ghc4>.Ensorcel (iec, x.Item4) 
                              let e = phantom<'ghc5>.Ensorcel (iec, x.Item5)
                              eliminate_tail_call_int (cth (cth (cth a b) (cth c d)) e)
  
              module CommonEqualityTypes =
                  module Nullable =
  