Hacker News new | ask | show | jobs
by kvb 4330 days ago
Seems like parametricity ensures that

    Transducer a b
is isomorphic to

    b -> [a]
Am I missing something?
1 comments
tel 4328 days ago
Nope—https://news.ycombinator.com/item?id=8160327
link