Yves Parès (Ywen)

In the meantime, there is an easy workaround: If in a `proc` block a code similar to the following exhibits the problem: ``` (FV numF :& FV numC :& _)

@goldfirere @aspiwack maybe you guys would have an input on that bug?

Also, it should be possible to create `SerialsFor Void (Stream (Of Something) IO ())`. It occured to me that the underlying `m` monad did not need to appear in the...

Probably we should also have a look at what Hailstorm and Streamly propose wrt that.

@tscholak So some work has been started here https://github.com/mrkkrp/hs-arrow/tree/mk/nix by reusing the bindings generated by stephenpascoe by gi introspection (and the C GObj arrow interface). I'd like to see if...

@tscholak Currently, `loadDataStream` can open _several_ similar files and give you a Stream. `writeDataStream` is its counterpart. Opening a stream out of one big file/writing one isn't easy for now...

After new thinking on that issue, it actually turns out that it is perfectly possible to create `PureDeserial (Stream (Of (Key, A)) IO ())`. Indeed we don't need to carry...

https://github.com/tweag/porcupine/issues/40 should be handled first though. Then we should assess if this issue is still relevant.

Thanks @guaraqe I opened an issue in https://github.com/cmk/profunctor-optics/issues/26 to ask about that Traversal situation.

Hmm. I just noticed that `Cayley` in profunctors (the one we use in porcupine) doesn't instanciate `Traversing`. Maybe that requirement over `Traversing` might be too constraining too. Or maybe the...