例として、Haskellでのリスト型を示す:dataLista=Nil|Consa(Lista)これは、リストaは空のリストの場合と'a'を先頭に持つリストの場合があることを示している。
以下是一个在Haskell中使用链表类型的一个列子：dataLista=Nil|Consa(Lista)这表示a的链表s可以是一个空表或一个cons单元包含了一个'a'（链表的“头”）和另一个链表（“尾”）。