It's much, much more of the opposite situation. Function composition can easily operate at collection type inputs---indeed, that is exactly how transducers oper

It's much, much more of the opposite situation. Function composition can easily operate at collection type inputs---indeed, that is exactly how transducers operate. Transducers are a subset of functions. They cannot be generalizing them.