<beman/optional/optional.hpp>
template<class T> concept is_derived_from_optional = requires(const T& t) { // exposition only []<class U>(const optional<U>&) {}(t); };