> fun stuff of algebraic effects, lifetime inference, and refinement types

> I'd really like to find "the low-level functional language" without "the fun stuff"

But current stable Ocaml has neither of the "fun stuff" mentioned and compiles to native code. So isn't that exactly what you want?

It doesn't even need lifetime analysis because automatic garbage collection be praised.

And algebraic effects are awesome. Sure they are not mainstream yet but conceptional there is a strong parallel to the Common Lisp condition system which is quite established. Not sure why you wouldn't want to have them. Also it is still a long way until we will see them used in user facing stuff in Ocaml.