[FOLD] Use std::hash