我目前正在开展一个项目，其中一个目标是定义进出QTree。
数据类型QTree定义为
data QTree a=Cell a Int Int | Block (Qtree a) (Qtree a) (Qtree a) (Qtree a)
我能够定义outQTree，但是对于inQTree，我没有这样的运气。
inQTree :: Either (a, (Int, Int)) (QTree a, (QTree a, (QTree a, QTree a))) -> QTree a
预定义inQTree类型。
就我所知，答案应该是：
inQTree=either Cell Block
但是Haskell自然而然地抱怨Cell和Block都没有被应用到足够的论据中 关于如何使其发挥作用的任何想法？