John Ericson

You're wonderfully on top of things! :) Impressive!

@AMDmi3 Sorry to prod, but did this go live yet?

OK. Thanks for letting me know. Let me know if there is something I can do to help.

Hi, checking in on this again :)

Oh just saw your reply. Is there any way some could do this for you without making it just as much work on your end?

If I may shift the goal posts a bit, I think the solution is absurd patterns (or rather "absurd alternative") as discussed in https://github.com/ghc-proposals/ghc-proposals/discussions/423 The reason it is so hard...

Yes splitting happy along those lines is very much something I'm interested in. As always, Happy can pave the way for the architectural changes GHC itself should make :D.

@sgraf812 I am sorry I didn't see this eariier; I would very much be a fan of such a split! I think @int-index would too, but he should confirm. I...

I think it thinks `(->) ()` is the monad? I had no good examples off hand, but I do think the function monad in general leads to all sorts of...

OK yes so `Monad ((->) env)` is not actually the problem as it hasn't gotten as far as constraint solving (IIUC), but I still feel what is a problem is...