Concepts will help a lot with this. I think a large reason that template errors are/were hard to parse is that SFINAE is fundamentally hard to read for humans (but is relatively simple for the compiler to figure out)