Comment by Vinnl

I think raganwald made the same point here: https://www.reddit.com/r/javascript/comments/cfz8lo/algebrai...

And the author (gaeron, aka Dan Abramov) replied:

> As far as I understand, the difference is that effects are actually typed (as part of your function signature), which I didn't go into — and so you have a lot more guarantees about what a function can or cannot do.