Comment by 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)