class Steep::Subtyping::Result::Any

def success?

def success?
  @success ||= branches.any?(&:success?)
end