The Importance of Typing in Zio

Zio can do like this retry thing, where if something fails, it can say, Oh, I'll just do it again. Whereas with exceptions, you've lost too much by the time you get to the catch clause. So I think part of the type system is probably the key. And so a retry is trivial and can be done. But read every try can be done on any effect.