class Steep::Subtyping::Check

def initialize(factory:)
  @factory = factory
  @cache = Cache.new()
  @bounds = []
end