(bind-func toString_help:[String*,List{!a}*,String*]*
(lambda (lst s)
(Cons$ lst (x xs)
(Nil$ xs ()
(toString_help xs (cat s (toString x)))
(toString_help xs (cat s (toString x) (Str ","))))
(cat s (Str "]")))))