class Steep::Subtyping::Relation

def hash

def hash
  self.class.hash ^ sub_type.hash ^ super_type.hash
end