(bind-func testeither:[Either{i64,String*}*,i1]* (lambda (choice) (if choice (Left 100) (Right (Str "100")))))