I have a scenario where typeclass resolution does not consider the instance I want as matching the goal. (If I remove all instances except the one I want, then typeclass resolution fails.)
Manually simple apply
ing the instance works, however. The class has no declared Hint Mode
s.
How do I debug this?
Aaaaa, nevermind, problem solved: I apparently forgot to register the instance properly...
Otherwise Set Typeclassed Debug Verbosity 2
would have led you to see that the instance was not even used
Last updated: Sep 25 2023 at 14:01 UTC