class Steep::Subtyping::Trace

def add(sup, sub)

def add(sup, sub)
  array << [sup, sub]
  yield
ensure
  array.pop
end