Почему type_traits реализован со специализированными шаблонными структурами вместо constexpr?

Есть ли причина, по которой стандарт определяет их как шаблон struct s вместо простого логического constexpr ?

В качестве дополнительного вопроса, на который, вероятно, будет дан хороший ответ на главный вопрос, как можно сделать enable_if с неструктурированными версиями?