(bind-func printer:[void,!a]* -> (lambda (r x) (my-tuple-chk x)) (lambda (x) (println "->" (tref x 0) (tref x 1) (tref x 2))))