> … it makes for errors a long way away from their causes, which are difficult to debug.

It also means that any type errors that don't affect the expanded template (but may still have an effect on semantics) will not be caught at all.