Add template<> magic to readonly for std::set too