The Benefits of Airmonads

The main difference I think is that in airmonads, your return value has the error or the success value in it. And so that's conveyed through the type system, whereas exceptions are not part of the type system. So for me, just airmonads are so much better than dealing with exceptions because it's in the type system and then I can do all the wonderful type system things on those. You can even transform them so you can say, all right, I can recover from this air.