Douglas McClean

Rats. I powered through it and actually got this working! (Thanks to Adam.) ... and it actually fixed the error message that was my reason for initiating this thread, the...

Thanks @aavogt for the reminder. That approach is cool in that it provides bidirectional inference, and it's cool in that I think it would fix this problem, allowing a solver...

I will definitely take a look at how that plugin works. The existential/GADT encoding idea is a good one, and I think it would have a good chance of checking...

@adamgundry, if you have a minute could you answer a question I have about the solver API? The `tcPluginSolve` function has type `state -> [Ct] -> [Ct] -> [Ct] ->...

Or maybe for that scenario I'm meant to ignore the second list in the `TcPluginResult`, but call the `newWanted` `TcPluginM` monad action, and somehow use its result to cook up...

See, that first paragraph is why I am an amateur at this. ;) I sensed that something was impossible but I couldn't put my finger on why, much less explain...

Chasing docs from `evByFiat` got me to `Note [UnivCo]` in the GHC comments. Tried to paste it here but it made markdown quite upset, so https://github.com/ghc/ghc/blob/0aaea5b8345fc4b061b97df8bcaa7c6b07594719/compiler/types/Coercion.hs#L438. I'm not sure how...

In any event it seems possible to cook up the "real" evidence with enough effort, or evidence with the right runtime implementation, because it really is a phantom, so even...

WTH is the meaning of the verb "zonk" in the GHC source? There are all sorts of functions for zonking this or that, and comments about the need to zonk...

Stackoverflow was able to [answer the zonking question](http://stackoverflow.com/questions/31889048/what-does-the-ghc-source-mean-by-zonk).