Andrey Mokhov

Hmm, interesting. It's not immediately clear to me whether `Selective (Compose f g)` inherits the rigidity of the inner instance `Selective g`. For `Product f g` the answer seems simple:...

@bolt12 Many thanks for sharing your thoughts and experiments! I agree with your conclusion: we can't really prove much without assuming that instances are lawful. In the next few weeks,...

Thank you, glad you liked it :-) > Maybe we could use `GEnum` constraint as I said above in order to maybe have a more robust solution. For now, I'd...

> I guess you're right since there is no `apS = ap` law. @LukaJCB This property does hold for many selective functors, and we call such selective functors "rigid" in...

Thanks for the PR! I'm hesitant to change the example in `coffeeTeaAutomaton` though since it would make it more cluttered. How about extending the corresponding comment, pointing out that the...

@jeremiedimino This is a very helpful document! I now understand much better what's going on and why. I'm not convinced that the proposed design is the right way to go...

I believe @emillon is working on this.

We might need to wait a bit more. After restarting, I'm getting: ``` Error: All install methods for ghc 9.4 failed ```

Retried today with the same results.

@dataopt This all makes sense to me. I agree that it's interesting to do some experiments in this space. (If only I had time myself!) I do like the idea...