For a type safe approach to functional programming in python, try returns (https://returns.readthedocs.io/en/latest/).
Perhaps if you want statically-typed functional programming, you shouldn’t be using Python? It’s not the best choice for that - in fact, it’s almost the worst choice.