class Steep::Subtyping::Result::Failure

def drop(n)
  self.class.new(error: error, trace: trace.drop(n))
end

def initialize(error:, trace:)
  @error = error
  @trace = trace.dup
end

def merge_trace(trace)
  if trace.empty?
    self
  else
    self.class.new(error: error,
                   trace: trace + self.trace)
  end
end

def success?
  false
end