maybe.hh: add std::hash specialization