PauloPinto:
The problem, which I know well from other languages with annotations, is that eventually you reach annotation hell, specially in the enterprise world.
There are research papers that explore the algebra of effects, and also contain better syntax and some better inference. With such ideas the control of those effects seems to improve.
Bye, bearophile
