Arnaud Spiwack

An alternative that doesn't seem to be discussed here is to have a Nickel package repository, where packages are described in a sufficiently high-level format so that they can be...

> If we don't find an external package manager to use, @ErinvanderVeen pointed out that [clean](https://clean-and-itasks.gitlab.io/nitrile/packaging-and-publishing/intro/) has a reasonably lightweight approach: there's a central registry that stores an index but...

> or were you thinking about version resolution among the versions in the index?) Yes, I was thinking of version resolution. It's good that a library for a solver exists....

Hi @andrevidela , Have you looked at the [Capability.Reflection](https://hackage.haskell.org/package/capability-0.5.0.1/docs/Capability-Reflection.html) module? It lets you define a dictionary manually for a capability. It does take a bit of wrapping your head around,...

Beautiful! This is all very helpful, thank you. Especially the newtype thing. Newtypes are easy to detect in `Generic` if I remember correctly, but it's would be quite easy to...

If you bind the same variable twice, you need some notion of equality. This is usually not very reasonable. Alternatively, you could _merge_ the values that are bound to the...

I don't think that we ought to close until we are indeed done with the proposal. That is, the ticket your are, rightly, suggesting we write, ought to be seen...

It may be an avatar of #169 , though (or another printing issue). I don't think I've modified any of this: do you mean that you have tried to make...

Ah… sorry, I had opened this from my email and didn't realise it was a PR rather than an issue. Obviously: sleep is neeed. It could have happened if you...

I think that we want and need the `One` and `Many` pattern synonyms (or whatever they are replaced with) to be used rather freely. Because of the fact that we...