class Steep::TypeConstruction::Pair

def +(other)
  if type.is_a?(AST::Types::Bot)
    other.with(type: type)
  else
    other
  end
end

def context
  constr.context
end

def initialize(type:, constr:)
  @type = type
  @constr = constr
end

def to_ary
  [type, constr, context]
end

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