class Steep::TypeConstruction::Pair

def with(type: self.type, constr: self.constr)
  self.class.new(
    type: type,
    constr: constr
  )
end