André Videla
André Videla
I've got you
I've managed to hack this in but I'm not quite sure if this is the way to go: ```haskell newtype WithLens m a = WithLens (m a) deriving (Functor, Applicative,...
Thank you, for the pointer, I'll take a look!
The change looks good to me but I'm curious about the upgrade path for frex. Do you mean to merge both the frex PR and this one at the same...
I see, probably best to get someone who has merge rights on frex to greenlight this then. I think both @gallais and @ohad qualify for this
> What I always liked about = comparing to === is that it has a precedence lower than even infix 0 I _also_ like this, and experimented with the compiler...
Thank you for your comment, there is a couple things that I would like to address: ## About overloading syntax > - when And is a typebind operator, (x :...
Hi there, It would be nice if your answer was a little be more comprehensive. For scoping reasons, I will ignore the alternative proposal and invite you to write you...
> Not really, rather I did not discuss these because these concerns are (mostly) orthogonal to my main concern. If your suggestion does not take into account those aspects, I...
That looks good to me! Any reason we should delay this?