You nerdsniped me. Just spitballing a more racket-like way to write it..

    (define myfunc length 
            #:type (-> [a] Int))
    (define main 
            #:type (IO ()) 
       (do (print (length "foo"))))