lexically :: scoped

• A remark from Lamport 05 Jun 2023
• Shots fired 18 Feb 2023
• Implementing flat_map in Rust 22 Jun 2020