Is there a Clojure like REPL for Haskell, F# or ML family languages?

The Clojure REPL is dope. I use it for work and it makes me fast.

But I find a ton of value in strongly typed languages like Haskell, Elm, F#, Ocaml, ReasonML etc. Also the promise of closed-loop system where type errors can be caught at compile time is something I look up to.

Is there any pure functional language with Clojure like dev. experience? Especially the REPL. Ideally something first class and baked into the core.