找出造成未解决问题的原因的最佳方法是什么？有没有办法通过扩展所有可解决的周围通配符将所有未解决的元素(以及只有未解决的元素)转换为空洞？
如果没有别的,将未解决的元素更改为一个洞会使关于未解决元的消息消失吗？因为那时我想我可以尝试将每个通配符和每个隐式参数更改为孔,直到消息消失然后找出导致问题的那个...
小智 5
一种方法（不一定是最好的）是将所有隐式参数替换为显式下划线：
f {_} {_} {_} (x {_} {_} {_})
这个答案来自 Agda 邮件列表：https://lists.chalmers.se/pipermail/agda/2012/004123.html