haskell - 为什么我需要 Haskell 的 data/newtype 中的类型变量？

Question

似乎 data/newtype 类型构造函数总是需要一个类型变量。

假设我只有一些元组和列表的嵌套，我想隐藏实现并限制客户端只使用一组特定的函数？我将如何决定哪个元素是“变量”类型，哪个不是？

编辑：在任何人感到困惑之前：您不需要类型变量！.

我问这个问题是因为许多示例都包含一个类型变量，但是 data/newtype 没有一个就可以完美地工作：

data Foo = Foo Int deriving Show
x = Foo 42

Answer 1

data T

data T = T

data T = T | S

data T = T (T, T)

'努夫说。