[GHC] #5296: Add explicit type applications

[GHC]

#5296: Add explicit type applications
----------------------------------------+-----------------------------------
    Reporter:  dsf                      |        Owner:                           
        Type:  feature request          |       Status:  new                      
    Priority:  normal                   |    Milestone:  7.4.1                    
   Component:  Compiler (Type checker)  |      Version:  7.0.3                    
    Keywords:                           |     Testcase:                           
   Blockedby:  1897                     |   Difficulty:                           
          Os:  Linux                    |     Blocking:                           
Architecture:  x86_64 (amd64)           |      Failure:  GHC rejects valid program
----------------------------------------+-----------------------------------

Comment(by simonpj):

 See also #4466

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