GHC non accetta GADT tipo di firma

Question

Questa dichiarazione non funziona:

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

come risolvere questo problema?

Answer 1

Almeno a partire dal GHC 7.8, se si attiva il supporto GADT, quindi i vostri typechecks codice e fa quello che ci si aspetta:

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

conseguente:

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