class Steep::Subtyping::Relation
def ==(other)
def ==(other) other.is_a?(self.class) && other.sub_type == sub_type && other.super_type == super_type end
def ==(other) other.is_a?(self.class) && other.sub_type == sub_type && other.super_type == super_type end