Thanks for having the patience to read through my code! That's exactly
what I was missing. I did print out the return value in my debug code at
some point, but the prettyprinter only shows the suffix of the
dictionary variable without the rhs so I totally missed it.
Also, I noticed that simpli
In your code (elabRnExpr) you have
_ <- perhaps_disable_default_warnings $ simplifyInteractive residual
You’ll notice that
simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)
So you are discarding the “evidence bindings” returned by simplifyInteractive.
Those are precisely the bindi