Haskell 数据类型列表

这可能是另一个简单的 Haskell 问题。如果我有一些“嵌套”数据类型，例如在此示例代码中：

data Place = Country
           | State
           | City String
           deriving Show

data State = California
           | NewYork
           deriving Show

data Country = USA
             | Canada
             deriving Show

我可以合法地制作一个列表，例如 [国家] 类型的 [美国、加拿大]，或 [州] 类型的 [加利福尼亚、纽约]，或 [地点] 类型的 [城市“a”、城市“b”]。

我需要做什么才能列出[美国，纽约]之类的列表？纽约是一个州，它是一个地方，而美国是一个国家，它是一个地方，但 ghci 看到的是美国，所以它假设我正在制作一个国家列表（纽约是一个州，所以该列表失败）。

我认为我需要某种方法将一个国家或州投射到一个地方，但我不知道如何实现这一点。

我试图避免将 State 和 Country 中包含的数据放入 Place 类型中，我知道这会使其工作，但我有大量的真实数据，我不想像这样混乱。

这里还有一些输出让我找出了问题所在：

*Main> [State, State]
[State,State]
*Main> :t State
State :: Place
*Main> :t NewYork
NewYork :: State

这似乎暗示单词“State”是 Place 的有效构造函数，并且数据 State 仅指 California 或 NewYork 的值。

如果你稍微改变一下程序，就可以：

data Place = Country Country
           | State State
           | City String
           deriving Show

data State = California
           | NewYork
           deriving Show

data Country = USA
             | Canada
             deriving Show

那么您可以创建一个列表，例如[美国国家/地区，纽约州]，其类型正确为[地点]。在第一个示例中使用相同的单词两次并不会像我想象的那样将 State 类型“绑定”在一起。

当然，使用构造函数 State State 只是一个偏好问题，我可以轻松地做到AmericanState State如果我愿意的话，可以在 Place 类型中。