Hello,  I’m the author of better-monadic-for compiler plugin (bm4 for short). It’s been brought to my attention that dotty would only allow pre-typer plugins in nightly builds, which means there cannot be a version of bm4 for production Scala 3.  Originally, the goal was to allow writing monadic code with destructuring. I.e. the code like  for {   (a, b) <- computeThings } yield a + b  could fail to compile depending on whether a value returned by computeThings has a withFilter method, and a com...

Introduce a flexible scheme for declaring and checking which exceptions can be thrown.
It relies on the effects as implicit capabilities pattern.
The scheme is not 100% safe yet since it does not t...