template <class T = void> struct minus {
 constexpr T operator()(const T& x, const T& y) const;
};