What’s so hard about class types as non-type template parameters? - eviltoast