Why are type_traits implemented with specialized template structs instead of constexpr?

Question

Is there any reason why the standard specifies them as template structs instead of simple boolean constexpr?

In an additional question that

Answer 1

One reason is that the type_traits proposal is older than the constexpr proposal.

Another one is that you are allowed to add specializations for your own types, if needed.