Concept for checking if derived from optional. Synopsis Declared in <beman/optional/optional.hpp> template<class T> concept is_derived_from_optional = requires(const T& t) { // exposition only []<class U>(const optional<U>&) {}(t); };