(bind-func print:[void,!a]* -> (lambda (r x) (and (t:tuple? x) (t:elts? x 1))) (lambda (tup) (printout "<" (tref tup 0) ">") void))