可以使用GADT表示现有的量化类型。
我看到GADT更通用-data-type-extensions，第7.4.7节
什么时候使用GADT更好地使用现有的量化类型？与现有量化类型相比，使用GADT有什么缺点吗？
最佳答案
GADT出现的时间比存在的时间晚，并且将其概括化。我没有发现任何缺点，因此会在新代码中始终使用GADT语法，因为它更加清楚。
documentation确认了这一点:
关于haskell - GADT与现有量化类型(* forall *)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/25103835/