Надеюсь, я правильно понял терминологию. Я хочу сделать следующее: 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)...

В предыдущем вопросе я спросил Почему интерфейс Monad не может быть объявленным на Java? . Там я получил комментарий от Брайана Гетца, в котором говорилось, что мне следовало называть «типы более высокого порядка» «более родственными типами»....