Template:cpp/container/unordered heterogeneous lookup

. This assumes that such is callable with both  and  type, and that the  is transparent, which, together, allows calling this function without constructing an instance of.