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