class Steep::Subtyping::Relation

def map

def map
  self.class.new(
    sub_type: yield(sub_type),
    super_type: yield(super_type)
  )
end