[GHC] #5277: Clash between RankNTypes and TypeFamilies

[GHC]

#5277: Clash between RankNTypes and TypeFamilies
----------------------------------------+-----------------------------------
  Reporter:  stefan                     |          Owner:                                              
      Type:  bug                        |         Status:  closed                                      
  Priority:  normal                     |      Milestone:                                              
 Component:  Compiler                   |        Version:  7.0.3                                       
Resolution:  invalid                    |       Keywords:  rank-n types, type families, type signatures
  Testcase:                             |      Blockedby:                                              
Difficulty:                             |             Os:  Unknown/Multiple                            
  Blocking:                             |   Architecture:  Unknown/Multiple                            
   Failure:  GHC rejects valid program  |  
----------------------------------------+-----------------------------------

Comment(by simonpj):

 I've elaborated the FAQ a bit; hope that helps.

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