I think this is called polymorphic recursion in Haskell circles. In C++ you can monomorphize as long as you can somehow prove the recursion terminates at comp

I think this is called polymorphic recursion in Haskell circles. In C++ you can monomorphize as long as you can somehow prove the recursion terminates at compile time (for example by threading a static recursion counter).