haskell - 映射受约束的存在限定的高阶类型

Question

我希望我的术语是正确的。

我想做以下事情：

data Hide a = ∀ b. (A.ToJSON (a b), A.ToJSON b) ⇒ Hide (a b)

mapHide ∷ (∀ c. (A.ToJSON (b c), A.ToJSON c) ⇒ a c → b c) → Hide a → Hide b
mapHide f (Hide a) = (Hide $ f a)

不幸的是，GHC 似乎无法正确推断约束并抱怨：

Could not deduce (A.ToJSON (b b1)) arising from a use of ‘Hide’
    from the context (A.ToJSON (a b1), A.ToJSON b1)

这有可能吗？

Answer 1

将函数类型更改为这样的东西可能会奏效：

 (A.ToJSON (b c2), A.ToJSON c2) ⇒
 (∀ c. (A.ToJSON (a c), A.ToJSON c) ⇒ a c) 
    → b c2)

还要避免使用'$'，因为它会杀死多态性。