let f (type a) m ht x =
  let (module Ht : Hashtbl.S with type 'a t = a) = m in
  Ht.find ht x