anchor.diff:                      let pass0 =
                           if t.IsArray || typeof<System.Array>.IsAssignableFrom t then
                               // I could do something here, but I doubt it would have any real performance impact
  -                            null
  +                            make typedefof<GenericHashParamObject<_>>
   
                           elif t.IsGenericType && ((t.GetGenericTypeDefinition ()).Equals typedefof<System.Nullable<_>>) then
                               let nt = get (t.GetGenericArguments()) 0
  
positive.code:                     elif t.IsValueType && equatable.IsAssignableFrom t                    then make typedefof<StructEquatable<DummyStructInterfaces>>
                      elif t.IsValueType                                                    then make typedefof<StructEquals<DummyStructInterfaces>>
  
                      elif typeof<IStructuralEquatable>.IsAssignableFrom t && notnull       then make typedefof<RefTypeStructualEquality<DummyRefTypeInterfaces>>
                      elif typeof<IStructuralEquatable>.IsAssignableFrom t                  then make typedefof<RefTypeNullableStructualEquality<DummyRefTypeInterfaces>>
  
                      // only sealed as a derived class might inherit from IStructuralEquatable
                      elif t.IsSealed && equatable.IsAssignableFrom t && notnull            then make typedefof<RefTypeEquatable<DummyRefTypeInterfaces>>
                      elif t.IsSealed && equatable.IsAssignableFrom t                       then make typedefof<RefTypeNullableEquatable<DummyRefTypeInterfaces>>
                      elif t.IsSealed && notnull                                            then make typedefof<RefTypeEquals<DummyRefTypeInterfaces>>
                      elif t.IsSealed                                                       then make typedefof<RefTypeNullableEquals<DummyRefTypeInterfaces>>
  
                      else null
  
negative.code: 
                  let equalityInterfaces (t:Type) : obj =
                      let make = makeEquatableDelegate t t
  
                      let equatable = makeEquatableType t
  
  