This associates a transducer with its state, useful to get around issues with inference of existential types.
Aux instance for Transducer. Use when you need to make the State type visible as a type parameter.