[cyorir]

Nothing comes to mind. Most attempts to introduce static typing into Python only do that, and not much more. Seq is an example:

https://github.com/seq-lang/seq

I think you might be interested in looking at multi-paradigm languages that use static/inferred typing and combine the functional and imperative paradigms. Some worth taking a look at might be OCaml, Nim, and F Sharp. Nim leans more towards Python, OCaml and F# lean more towards Haskell.

https://en.wikipedia.org/wiki/OCaml

https://en.wikipedia.org/wiki/Nim_(programming_language)

https://en.wikipedia.org/wiki/F_Sharp_(programming_language)

[abhijat]

Ocaml is really good with nice tooling like merlin. Compiles to native as well. There's reasonml for people who favour js syntax but I have come to like ocaml syntax.

[Tabzz98]

Scala is also definitely worth checking out https://www.scala-lang.org/