;; generic "catch-all" toString (bind-func toString:[String*,!a]* "generic \"catch-all\" toString" (lambda (x) (String "_")))