Jon Pretty

Here's a Scala 3 feature suggestion: I'd like to write for-comprehensions which know their generator type, like so: for[List] { x <- xs y <- ys } yield ... It would make it much easier to work out whether `xs` or `ys` is the wrong type.

That could also give you a target for doing codegen on if's that appear before the first generator! And (if we are really going crazy), for zero-generator for comprehensions!

You mean `for[F] yield x` would give `F.unit(x)`? I admire your ambition! And this syntax even looks nice!