;; tostring for pair (bind-func toString:[String*,ADPair{!a}*]* (lambda (p) (ADPair$ p (a b) (cat (Str "(") (toString a) (Str ",") (toString b) (Str ")")) (Str "()"))))