GADT vs存在量化类型(*forall*)

Question

人们可以用GADT来表达存在的量化类型。

我看到GADT更通用- 数据类型扩展，第7.4.7节

如果使用存在量化的类型比使用GADT更好？与现有的量化类型相比，使用GADT有什么缺点吗？

Answer 1

GADT的出现比存在主义来得晚，而且它们概括了它们。我不知道有什么缺点，总是在新代码中使用GADT语法，因为它要清楚得多。

文档证实了这一点：

请注意，GADT风格的语法概括了存在类型。

Answer 2

如果你使用的是GHC的最新版本，那么我不知道它有什么缺点。但是在较早的版本中，您可以以一种不安全的方式组合GADT和GeneralizedNewtypeDeriving。我认为ExistentialQuantification不可能做到同样的事情。