class Steep::Subtyping::Relation

def ==(other)

def ==(other)
  other.is_a?(self.class) && other.sub_type == sub_type && other.super_type == super_type
end