let add (hs:'a t) (x:'a) = hs#add x