Test type traits for metaprogramming