class Steep::TypeConstruction::Pair

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