implementing our own type_traits in C++

Is it possible to implement type traits like std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible, std::is_copy_constructible, std::is_convertible std::is_union, ... on our own?