GADT Strangeness

[Isaac Dupree]

Simon Peyton-Jones wrote:
> This is a nasty corner I agree.  GHC requires -XGADTs for you to *define* a GADT. Perhaps it should also require -XGADTs for you to *match against* one (as you are doing here).  That would avoid this particular hole.  If you think that would be a step forward, do put forward a Trac feature request, and encourage others to support it.

okay, well I made a feature request, anyway,
http://hackage.haskell.org/trac/ghc/ticket/2905
-- people, please comment it! (whether you do or don't 
support it, maybe explaining why/not)

-Isaac