]> hashtbl.mli: type ('a,'b) t Why not "type ('a,+'b) t"?