[GHC] #7964: GADTs in Haskell98 style

[GHC]

#7964: GADTs in Haskell98 style
-----------------------------+----------------------------------------------
Reporter:  wvv               |          Owner:                         
    Type:  feature request   |         Status:  new                    
Priority:  normal            |      Component:  Compiler (Type checker)
 Version:  7.6.3             |       Keywords:                         
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
 Failure:  Other             |      Blockedby:                         
Blocking:                    |        Related:                         
-----------------------------+----------------------------------------------

Comment(by thoughtpolice):

 It's possible to do this already with a slightly different syntax.

 {{{
 {-# LANGUAGE TypeFamilies, ExistentialQuantification #-}
 data Foo a
   = (a ~ Int)  => FooInt a
   | (a ~ Char) => FooChar a
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7964#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler