I find the following type signature captures the essence: type Transducer x y = forall b. (b -> y -> b) -> (b -> x -> b) https://github.com/bitemyapp/learnhas

I find the following type signature captures the essence: type Transducer x y = forall b. (b -> y -> b) -> (b -> x -> b) https://github.com/bitemyapp/learnhaskell/blob/master/dialogues.md#transducers https://github.com/bitemyapp/learnhaskell/blob/master/dialog...