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