[GHC] #2852: Type family checking oddity

[GHC]

#2852: Type family checking oddity
------------------------------+---------------------------------------------
 Reporter:  guest             |          Owner:                  
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:                  
Component:  Compiler          |        Version:  6.10.1          
 Severity:  normal            |     Resolution:  worksforme      
 Keywords:                    |       Testcase:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
------------------------------+---------------------------------------------
Comment (by guest):

 Fair enough.  As the summary said, this was more an oddity than a bug.
 I'd say it's still somewhat surprising to use something (the type) from a
 class and not get the context, but I see the technical reasons for leaving
 it out.

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