class Steep::Subtyping::Result::Failure

def drop(n)

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