[GHC] #2855: Surprising type (family) type derived

[GHC]

#2855: Surprising type (family) type derived
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by chak):

 This is a duplicate of #1897, is it not?

 As far as I am concerned, I still think, we should solve this problem in
 the way Lennart proposed when we discussed this last: http://www.mail-
 archive.com/haskell-cafe at haskell.org/msg39774.html (after type inference,
 do type '''checking''' again with the inferred signatures).

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