On 12/2/2025 3:04 PM, Paul Backus wrote: > This is the exact kind of > confusing dessert topping/floor wax duality that you (rightly) criticize in > C++'s reference types. The C++ reference type is part of the type system, and I definitely work hard to avoid that sand trap.