I don’t like the name. typing.All would be more apt, but I guess you probably were trying to avoid the direct comparison with typing.Any from the user perspective because you don’t want this used without a generic. I presume this is because you don’t want to specify Any and this thing as predicate free existential and universal quantification types.