[GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

[GHC]

#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj     
        Type:  bug               |       Status:  new         
    Priority:  high              |    Milestone:  7.2.1       
   Component:  Compiler          |      Version:  6.12.1      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by sjoerd_visscher):

 > So keep adding examples to this ticket if you come across them, and
 adding yourself to the cc list.

 In the data-category package I constantly run into this. See for example
 [https://github.com/sjoerdvisscher/data-
 category/blob/master/Data/Category/Boolean.hs]

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