[platz]

I am unconvinced of the practical utility of what row types give you for the added complexity.

The proposal to remove the Eff type (going back to IO) from purescript is telling

[brandonbloom]

It's not surprising though, since usefully typing control effects with delimited continuations would require at least answer type polymorphism, but even more usefully something like session types.

[wtetzner]

Do row types add a lot of complexity?

[platz]

I think they add more complexity if you have to track and spell out each effect that is being added or removed from the stack