GHC不接受GADT類型簽名

Question

該聲明不起作用：

data Identity a where {Identity :: (->) a (Identity a)}

如何解決這個問題？

Answer 1

至少從GHC 7.8開始， 如果你打開GADT支持，那么你的代碼可以檢查並做你期望的事情 ：

{-# LANGUAGE GADTs #-}
data Identity a where {Identity :: (->) a (Identity a)}

導致：

GHCi, version 7.8.3: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling Main             ( foo.hs, interpreted )
Ok, modules loaded: Main.
λ» :i Identity
data Identity a = Identity a    -- Defined at foo.hs:2:1