namespace foo {
   template <class T>
   concept has_string_name = requires() {
       { T::name }
       ->std::same_as<std::string>;
   };
   template <class T>
   concept has_string_description = requires() {
       { T::description }
       ->std::same_as<std::string>;
   };
   template <class T>
   concept has_string_short_name = requires() {
       { T::short_name }
       ->std::same_as<std::optional<std::string>>;
   };

   template <class T>
   concept is_option =                        //
       has_string_name<T>                     //
           && has_string_short_name<T>        //
               && has_string_description<T>;  //

   struct option {
       std::optional<std::string> short_name;
       std::string name;
       std::string description;
   };

   static_assert(is_option<option>, "Is Not Option.");
}
int main(){}