> there is always the possibility of having to debug errors from the template implementation because the authors didn’t choose precise enough constraints

That is indeed possible, but it's hard to see why that is a problem. Any problems would show up at compile time, and fixing errors flagged by the compiler is pretty routine programming work.