list - 此类型定义是否处理空列表？

Question

我正在接听 question seven Haskell 的 99 个问题。但是，我已经到了他们定义类型的地步

data NestedList a = Elem a | List [NestedList a]

据我所知，它不会处理空列表(即 [])。

但是在他们的示例测试中他们展示了

*Main> flatten (List [])
[]

这种类型是否涵盖空列表？如果是，为什么？

如果不是，并且是网站的错误，那么如何编写处理空列表的嵌套列表类型？

Answer 1

数据类型 NestedList a 包含 Elem a 类型的元素，或 List [NestedList a] 类型的元素。

其中第一个，你似乎已经明白了。但是，第二个以 NestedList a 的列表(正常排序)作为参数。这可以是任何列表，包括 []。因此，List [] 是一个有效的 NestedList，List[Elem 5] 或 List [Elem 5, List [元素 3，元素 2]]。