Georgi Lyubenov

Chiming in as a newbie, I agree with the feelings and assessments that @AleksanderGondek has. I think it's also important to be able to switch remote builds on/off for everything...

I think this is also related to https://github.com/haskell/haskell-language-server/issues/735 (same root issues?)

> > I think this is also related to #735 (same root issues?) > > Yeah, thanks for linking the previous issue, not totally sure though I was linking it...

Is there the possibility of adding *only* type applications that work over the current `forall`s (like `TypeApplications` in Haskell)?

Hey @benradf, thanks! Is that link intended to be public, or is it intended entirely for tweagers? Currently it leads to a private Tweag repo, so it's a bit confusing...

An alternative that I would like to see, but am entirely incapable of judging whether it's (easily) possible: Can we not leverage some machinery to make it so that the...

Any status update on this? The merged #23 seems to be related (very much so).

This would be useful in the implementation of modifiers, see https://gitlab.haskell.org/ghc/ghc/-/issues/22624#note_471850

Crucially/for example, this can be relied upon in `servant-client` when you're not using named routes in order to extract a specific function from the functions generated based on an API.

I return a year later, wanting this yet again :sweat_smile: