You don't need an effect system
kept by novawanderer
The author argues that Haskell effect systems add no real benefit over plain IO, demonstrating that simple effect types and manual argument passing suffice for real-world code.