That misses the point of duck typing in C++ templates, which is one of their great features, and also the cause of those wonderful instantiation error messages.

In Lisp the same error would be a runtime one.