Why have new vocabulary for the state monad? Transducers are mostly function and function composition, but with a specific signature. There are a handful of co

Why have new vocabulary for the state monad? Transducers are mostly function and function composition, but with a specific signature. There are a handful of contracts on a transducer, so it is useful to have a name, so you can say "this function takes a transducer" and "this function returns a transducer".