Hi,I would want to propose a new type trait, std::is_instance. Below, there is a draft of the proposal to explain clearer my idea.