Arnaud Spiwack

> To elaborate on this point: I was hoping that we could do something like generalise `unsafeRelease` to something like `unsafeRelease :: Coercible r (UnsafeResource a) => r %1 ->...

> I will not be making a bug for this - it would make `StateT` much more difficult to use, and I think that's too great a cost (in addition...

Thanks for the discussion, even if I took so much time to get back to it. After all this I came to the conclusion that I've been going at this...

I've squashed the history as the intermediate commits were not relevant anymore. This will automerge when CI is green. I'll make a release in the coming days.

@aherrmann has worked quite a bit on ghcide support for Bazel. I imagine that he may have some opinions about how to best solve this sort of problems, but he...

This is probably true. And it may be better for isolation, as it would allow packages to depend on another version of nixpkgs. On the other hand, this could be...

You touch upon one reason why additive product isn't in linear-base: negatives aren't preserved by effects; yet it feels that they are most useful in presence of effects. We could...

This is a good point. I think it's quite related to the discussion on #447 , isn't it? It's all about “what are natural things we can do with linear...

Indeed, I've noticed something like this in a project of mine recently. But for CI at least, we can workaround this by setting up a Cachix cache. Which doesn't have...

I don't think that it's ever ok to make `move` a no-op. Ok, that's a little strong. It's not ok to make `move` a no-op if the data structure can...