Tag representing a canonical Constant.
This is an implementation detail used to provide many models for stuff like Monoid, Group, etc. To create a CanonicalConstant, simply create an object with a nested hana_tag equal to the proper specialization of CanonicalConstant<T>, and then also provide a constexpr static member ::value holding the value of the constant.