GHC nicht akzeptiert GADT Typ Unterschrift

Question

Diese Erklärung nicht funktioniert:

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

Wie dieses Problem beheben?

Answer 1

Mindestens ebenso von GHC 7,8, , wenn Sie einschalten GADT Unterstützung, dann Ihren Code typechecks und tut, was würden Sie erwarten:

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

ergibt:

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