On: Understanding Transducers

[endgame]

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/dialog...

[crdrost → endgame]

Thanks for this link!