These kind of static asserts for the base type of a template parameter are useful, and can avoid wrong API usage.