let bound (h:('a,'b) t) (x:'a) = h#bound x