class Steep::TypeAssignability

def with(klass: nil, instance: nil, &block)
  @klasses.push(klass) if klass
  @instances.push(instance) if instance
  yield
ensure
  @klasses.pop if klass
  @instances.pop if instance
end