[GHC] #3826: Can't infer type (type family as "element" type)

[GHC]

#3826: Can't infer type (type family as "element" type)
----------------------------------------+-----------------------------------
    Reporter:  spl                      |        Owner:  simonpj                  
        Type:  bug                      |       Status:  new                      
    Priority:  normal                   |    Milestone:  6.14.1                   
   Component:  Compiler (Type checker)  |      Version:  6.12.1                   
    Keywords:  type families            |   Difficulty:                           
          Os:  Unknown/Multiple         |     Testcase:                           
Architecture:  Unknown/Multiple         |      Failure:  GHC rejects valid program
----------------------------------------+-----------------------------------

Comment(by simonpj):

 Thank you!  Yet another example that should start working when the new
 constraint solver is in place.  I'll keep track of it, but it'll be a
 couple of months at least.

 Simon

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