> Languages that have dabbled with modeling effects with row types have backtracked on it in favor of IO.

Interesting. I thought algebraic effects + handlers were the new hotness in modeling effects with types.