The huge problem with SFINAE and most template techniques is that the semantics of the operation are completely different from the intention, and this always shows in error messages for any small mistake, even most of the ones your users make.

Concepts were supposed to help, but based on what I've heard, they sometimes make the error messages even worse, so I'm not sure.