/libs/type_traits/examples/