Algebraic Effects Compose

Algebraic effects are cool, is that they compose. So since you don't have mona transformers, you can't like, mixed together like io and reader and writer, you can. In order to compose two monads into one, you need to know something about them. But in a algebratic effects, they s sort of side by side. You basi just get a set of abilities. Just what, all the different facts that you've done, they just keep getting added to the set automatically. And then you can pattern match on them in the handler. Like Io exception, found exception. It's a lot checked exceptions in that sense.