Better ergonomics, direct style syntax, no need for monad transformers. There might be second order advantages like small performance gains compared to monadic

Better ergonomics, direct style syntax, no need for monad transformers. There might be second order advantages like small performance gains compared to monadic effects.