Post #1574914

Ooh, this is a tricky one. I think I found a legitimate compiler issue in #idris. Nothing to do with correctness, but a interaction between `parameters`, `mutual` and name overloading that cause a failure to even consider one of the overloadings -- it treats the name as undefined, even though it is clearly present. Moving the referent out of `parameters` and fixing up the type signature makes name resolution work, and the compile completes successfully. Now, do I spend the time to find a minimal repro and report the bug,?