标签： haskell quickcheck
我有一个n元树，定义如下：
data Tree = Leaf1 | Leaf2 | Tree ([Tree])
我有一个功能
eval :: Tree -> int
返回赢家（Leaf1表示玩家1获胜，Leaf2表示玩家2获胜）
Leaf1
Leaf2
我一直在尝试使用QuickCheck为eval编写测试，但似乎无法理解它对递归数据类型的工作方式以及如何为此功能编写测试
eval