What do you mean by Haskell-like type annotations? Do you mean literally the syntax foo :: Type0 -> Type1 -> Type2 ? Or do you mean the ability to have t

What do you mean by Haskell-like type annotations? Do you mean literally the syntax foo :: Type0 -> Type1 -> Type2 ? Or do you mean the ability to have the type annotation on a separate line from the function implementation itself (rather than e.g. annotating its arguments individually)? In the case of the former you have Hackett (https://lexi-lambda.github.io/hackett/reference-syntactic-forms.html#%28part._reference-type-annotation%29 https://lexi-lambda.github.io/hackett/reference-syntactic-fo...) which unfortunately I think isn't seeing too much work on it anymore. In the latter case something like Typed Clojure may work (https://github.com/clojure/core.typed https://github.com/clojure/core.typed).