我遇到了一项任务，并且在理解方面遇到了一些问题。任务是定义： Type有三个构造函数：Zero（常量），Succ AbstractInteger（抽象的继承者）和Pred AbstractInteger（前一个抽象）。 有人能给我看一个定义的例子吗？我真的无法理解它是否必须包含价值或者它是如何包含价值的。
data AbstractInteger = Zero | Succ (AbstractInteger) | Pred (AbstractInteger)
deriving(Show, Eq)
这样的东西？