I asked chatgpt for a few languages with a good typesystem and it suggested ocaml among other (scala, rust, haskell, f#)
Then asked for a 100 line ocaml REST API example with a popular framework and db lib.. and it looks mostly like Haskell.
edit: async is done with monads
I added "alias fucking=sudo" and I never remeber to use it :(