(:print-type form) should give you what you’re looking for: % racket -l typed/racket -i Welcome to Racket v7.5. > (:print-type compose) (All (a b c) (-> (-> b c) (-> a b) (-> a c)))

@mbutterick https://docs.racket-lang.org/csp/index.html?q=csp#%28def._%28%28lib._csp%2Fmain..rkt%29._var%29%29 defines domain as a (listof any/c) is there any reason why this could not be a sequence? my variables are coming from the database so if i could pass in a seqeunce then the whole thing might operate in a sort of “lazy” way ?

also, i was taking with @soegaard2 before https://racket.slack.com/archives/C09L257PY/p1583339633066200 does the (in-solutions) method return a custom sequence?

Right! For some reason I totally forgot about :print-type :disappointed: I knew it was a dumb question hahaha :sweat_smile: Thanks!