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

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

https://brevzin.github.io/c++/2024/08/15/cnttp/