Traits из коробки

Хочу отметить, что "derive" — это не "извлечь", это "вывести". Ну грубо говоря, как на бумаге мы можем вывести одну теорему из другой, смысл именно в этом. Этот термин в данном контексте вообще пошёл из Haskell, где при определении новых типов можно указать deriving (...) и в скобках перечислить тайпклассы, которые нужно автоматически вывести для нового типа на основании его содержимого. Поскольку трейты — это на самом деле тайпклассы, взять эту функциональность из Haskell было весьма логичным и напрашивающимся решением.

Хочется уточнить: эти traits не тоже самое что и C++ идиома traits?