docs&specs: _h.flatten, _h.get, _h.has_value