Haskell 创建具有逆变、可分和可判定的ADT实例

我正在尝试为创建一个实例

但是，我不确定如何为

JSONTypeF

ADT定义实例

Grouping1 JSONTypeF

instance Grouping1 JSONTypeF where
  grouping1 g = contramap fun _
    where
      fun (JObject map) = undefined
      fun (JArray ary) = undefined
      fun (JInvalidArray ary) = undefined
      fun (JPrimitive primitive) = undefined

---

我很难做到这一点，没有任何实例，尽管

choose

的一些嵌套可能使之成为可能

instance Grouping1 JSONTypeF where
  grouping1 g = Group $ \k -> do
    kb <- flip getGroup
    kc <- flip getGroup
    kd <- flip getGroup
    ke <- flip getGroup
    pure (\obj ->
            case obj of
              (JObject map) -> kb map
              (JArray ary) -> kc ary
              (JInvalidArray ary) -> kd ary
              (JPrimitive primitive) -> ke primitive
            ) k

实例分组1 JSONTypeF其中
grouping1 g=Group$\k->do
kb-kd-ary
（JPrimitive基元）->ke基元
)k

有没有理由不使用

泛型

派生实例？是的，没有

泛型1

用于

HashMap

。目前不需要在

Generic1（HashMap a）

上构建一些东西，只需要

Grouping1（HashMap.HashMap a）

。它确实需要

Generic1

来构建完整的

JSONTypeF

，这显然需要一个

Generic

的HashMap。

instance Grouping1 JSONTypeF where
  grouping1 g = Group $ \k -> do
    kb <- flip getGroup
    kc <- flip getGroup
    kd <- flip getGroup
    ke <- flip getGroup
    pure (\obj ->
            case obj of
              (JObject map) -> kb map
              (JArray ary) -> kc ary
              (JInvalidArray ary) -> kd ary
              (JPrimitive primitive) -> ke primitive
            ) k