namespace dimension {
  enum class missed_t: int {};
  namespace coord {
       enum class x_t: int {};
       enum class y_t: int {};
       enum class z_t: int {};

       template <typename T>
       T operator + (T x, T y) requires(requires{
           { get_namespace(x) } -> std::same_as<namespace_tag>;
       }) {
           return T{ static_cast<int>(x) + static_cast<int>(y) };
       }

       struct namespace_tag{};
       namespace_tag get_namespace(auto);
   }
};

                                                                             
int main() {
   dimension::missed_t x{3};
   dimension::missed_t y{4};
   auto z = dimension::coord::operator + (x, y);
}

namespace dimension {
  enum class missed_t: int {};
  namespace coord {
       enum class x_t: int {};
       enum class y_t: int {};
       enum class z_t: int {};

       struct namespace_tag{};

       template <typename T>
       T operator + (T x, T y) requires(requires{
           { get_namespace(x) } -> std::same_as<namespace_tag>;
       }) {
           return T{ static_cast<int>(x) + static_cast<int>(y) };
       }

       namespace_tag get_namespace(auto);
   }
};

                                                                             
int main() {
   dimension::coord::x_t x{3};
   dimension::coord::x_t y{4};
   auto z = dimension::coord::operator + (x, y);
   
   dimension::missed_t xx{3};
   dimension::missed_t yy{4};
   auto zz = dimension::coord::operator + (xx, yy);
}