Andrey Mokhov

@ndmitchell Agreed, this looks like the best solution, although still not ideal... Alas, it looks like I'm opening a big can of worms: there are many useful operators like ``,...

Agreed. And I'll see whether I can simply use `unifyPath` more sparingly, not in every `-/-` invocation.

Just a note about multiple passes of `configure`: if we do that in the same folder, modifying the same files, and `need` some of these files during the build, then...

@angerman Can we make these two passes in different directories?

Personally, I'd love to have the `SelectiveDo` extension but I think that this proposal is unlikely to be accepted right now. Selective functors are still too new and too niche....

> The downside is that _every_ value you bind must satisfy the `Enumerable` constraint. This is not exactly accurate. The `Enumerable` constraint is on the type of tags `t`, not...

> I think you might get some mileage out of [`QualifiedDo`](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/qualified_do.html)? @kozross I do want to experiment with `QualifiedDo`. I started doing some work on this (a very early draft...

@rashadg1030 I like your application and I hope you will be able to use selective functors. However, I'm unsure how you plan to handle Matthew's example: ```haskell foo :: Okapi...

@rashadg1030 My question is partly about performance but also about your intent. I can believe that you can write a function that type checks and gives you this (possibly infinite)...

@rashadg1030 It's hard for me to give any definitive answers. It seems best to just give it a try and see what happens. I suggest not to jump into implementing...