[GHC] #5676: Typeclass instance function type declarations

[GHC]

#5676: Typeclass instance function type declarations
-------------------------------------------------------------+--------------
    Reporter:  drb226                                        |        Owner:                           
        Type:  feature request                               |       Status:  new                      
    Priority:  normal                                        |    Milestone:                           
   Component:  Compiler (Type checker)                       |      Version:                           
    Keywords:  typeclass instance function type declaration  |     Testcase:                           
   Blockedby:                                                |   Difficulty:                           
          Os:  Unknown/Multiple                              |     Blocking:                           
Architecture:  Unknown/Multiple                              |      Failure:  GHC rejects valid program
-------------------------------------------------------------+--------------

Comment(by simonpj):

 I've wanted this myself, so I've done it in a spare moment.  I need to
 validate etc before pushing, and it's unclear whether it should be in 7.4,
 since we are in feature freeze.

 Simon

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