fold expressions, since C++17, are used to reduce the parameter packs of variadic templates over a binary operator.
