class Steep::Subtyping::Trace

def drop(n)

def drop(n)
  self.class.new(array: array.drop(n))
end