haskell - 为什么 Haskell 中的实例解析不考虑约束？

Question

AFAIK，Haskell 中的实例解析仅查看实例头部，不会回溯以寻找更多潜在实例（找到最佳匹配？）（如此处所述）。有什么理由吗？

换句话说，为什么在实例解析期间不考虑约束？是为了避免重新编译包，以防新的实例声明可用（因为它可以影响实例解析）？

标签： haskelltypeclass