这个问题最初是在我研究动态 JS 类型验证器时出现的，该验证器依赖于字典传递样式作为相当简单的类型类机制，但我认为它也适用于 Haskell 或其他具有类型类机制的语言。 起初，我认为在具有字典传递...