https://cppsenioreas.wordpress.com/2020/08/27/substitution-failure-is-not-an-error-sfinae/