(bind-func print-str-sym:[void,!a]* -> (lambda (r x) (or (t:named? 'String* x) (t:named? 'Symbol* x))) (lambda (x) (println "You must be a String or a Symbol! " x)))