class Steep::Subtyping::Result::Failure

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