标签： haskell typeclass
AFAIK，Haskell中的实例解析仅查看实例头，而不回溯以寻找更多潜在实例（找到最佳匹配？）（as explained here）。有什么理由吗？
换句话说，为什么在实例解析期间不考虑约束？如果新的实例声明可用（因为它可能影响实例解析），是否避免重新编译软件包？