[GHC] #4494: Another regression with type families

[GHC]

#4494: Another regression with type families
---------------------------------+------------------------------------------
    Reporter:  rl                |       Owner:                           
        Type:  bug               |      Status:  new                      
    Priority:  normal            |   Component:  Compiler (Type checker)  
     Version:  7.1               |    Keywords:                           
    Testcase:                    |   Blockedby:                           
          Os:  Unknown/Multiple  |    Blocking:                           
Architecture:  Unknown/Multiple  |     Failure:  GHC rejects valid program
---------------------------------+------------------------------------------

Comment(by rl):

 I meant the rhs of `call`, not rhs of `foo`.

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