class Steep::Subtyping::Trace

def push(*xs)

def push(*xs)
  array << xs
  yield
ensure
  array.pop
end