Hashtbl.HashedType