A UnaryTypeTrait is a class template that describes a property of its template type parameter with an integralconstant (typically boolconstant) specialization.