Consider this little code snippet
namespace nsp { template concept Addable= requires(const T& a,const T& b) { {a