The real win over current C++ would be that low-level programmers could
compose their transducers to make higher-order functions like map and
filter that work on different collection types. The compiler could
synthesize the messy memory management and loops and stuff to work with
the standard collection classes. The transducers wouldn't have to be
specialized to particular collection types, simplifying both the
programmer's and the compiler's job.