Brent Yorgey

@kuribas I know you're busy with a new job, but do you have any ideas on what would be needed to fix this? Maybe something someone else can tackle?

Perhaps this line https://github.com/fused-effects/fused-effects/blob/77b51e9350105ba8c522680162f37c90c0c11143/src/Control/Carrier/Accum/Strict.hs#L135 should have `(mempty, ctx)` instead of `(w, ctx)`? Yielding `(w, ctx)` would be like implementing a state monad, where the state is passed through unchanged. But...

@patrickt any thoughts? No rush, just a friendly bump in case you haven't seen this.

No worries! I will definitely put together a PR, at the very least with a simple bug fix, but I will also give some thought to laws and putting together...

This is actually trickier than I thought. Even when we give an explicit `Prop` type annotation, the `==` operator still has type `N * N -> Bool`; it's only the...

Alternatively, perhaps we can get this done simply by adding a bit more special cases to the desugarer. We already do have access to type information while desugaring. When desugaring...

Started thinking about this a bit. I immediately ran into the issue of how to represent this in the syntax: right now we unify lambdas, forall, and exists under the...

What if we just make `x in A` be a pattern, which matches (binding `x`) on anything which is an element of `A`. Then `\x in A. ...` would actually...

I now have parsing and desugaring working in the `feature/quantify-over-sets` branch. However, testing doesn't work, and indeed, quantifiers with patterns don't really work at all. Currently, with the default desugaring,...

For reference, here's the current output: ``` Disco> :load test/prop-fail/bad-tests.disco Loading bad-tests.disco... Running tests... badmap: - Certainly false: badmap(λx. x / 0)([3, 4, 5]) =!= [6, 7, 8] Test failed...