Option to output instance resolution process
Would it be possible to see what instances get picked by the constraint solver? For example, see coq's Set Typeclass Debug..
The following comment also shows what it might look like: https://www.reddit.com/r/haskell/comments/8cmn4i/algorithmically_scrapping_your_typeclasses/dxg8fes/
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.2.2 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | lyxia |
| Operating system | |
| Architecture |