Alec Theriault

@agboom are you still working on this? Would you mind if I picked it up?

I have a particular use case, although probably no time to work on this in the coming days (maybe next week). I want to be able to represent errors in...

Oh I think I see what you mean now. The functions are not to squeeze a `ClientError` into an `Invalid`, but rather to project an `Invalid` into a `ClientError` for...

Do you know why VS code is underlining only a subset of a backticked identifier on command+hover? Is there some sort of lexer inside VS code that would need to...

I think a related broken example is ```scala object MultiArg { def multiArg(f: (Double, Double) => Double): Nothing = ??? multiArg(_.@@) } ``` Here also, we get no completions after...

Unless most of GHC's work here is parsing (something I very much doubt, given that we are talking about a _huge_ slowdown), this sounds like GHC could be at fault...

@wiz That sounds a look like a GHC regression with respect to partial type signatures. Do you want to report it to the GHC Trac?

@wiz I completely agree. It is going to be difficult to do that without breaking backwards compatibility though (perhaps that's OK) - I spent a long time trying to figure...

Actually, perhaps there is a mediocre (hopefully temporary) workaround: do _not_ generate signatures when there is an empty monad context (basically, pay the price of partial type signatures only when...

Reported: https://ghc.haskell.org/trac/ghc/ticket/14683#ticket