> currying has negative semantics and type system impact in a language with uncontrolled side-effects.

Can you explain this? Currying and side-effects seem orthogonal to me.