You nerdsniped me. Just spitballing a more racket-like way to write it.. (define myfunc length #:type (-> [a] Int)) (define main

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"))))