auto concept Addable<typename T, typename U = T> { typename result_type; result_type operator+(T, U); };
#include <concepts>