This associates a transducer with its state, useful to get around issues with inference of existential types.