cpp/types/is abstract