Flow The goal is to see how far Rust procedural macros can take us to create Scala for-comprehensions without higher-kinded types.