class Dry::Schema::PredicateInferrer

def [](type)
  self.class.fetch_or_store(type.hash) do
    predicates = compiler.visit(type.to_ast)
    if predicates.is_a?(Hash)
      predicates
    else
      REDUCED_TYPES[predicates] || predicates
    end
  end
end