Seems like parametricity ensures that

    Transducer a b 

is isomorphic to

    b -> [a]

Am I missing something?