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 funct

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.