I'm talking about features that FP languages have (like do-notation) and imperative languages do not, rather than the other way around (like enforced pure functions).

you cannot write Python like Haskell (for example) because Python lacks the necessary features.