cpp/types/is polymorphic