[GHC] #4499: "skolem type variable" is bad for usability (and beginners)

[GHC]

#4499: "skolem type variable" is bad for usability (and beginners)
----------------------------------------+-----------------------------------
    Reporter:  guest                    |        Owner:              
        Type:  bug                      |       Status:  new         
    Priority:  normal                   |    Milestone:              
   Component:  Compiler (Type checker)  |      Version:  7.0.1       
    Keywords:  skolem                   |     Testcase:              
   Blockedby:                           |   Difficulty:              
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------

Comment(by guest):

 Yes, I think that sounds better with one caveat:

   * Finding the wiki article describing how to fix it seems important.  At
 least, I found that article very helpful and I only found it because
 'skolem' was in my google search.

 Hence my suggestion to mention 'skolem' somewhere in the error (just de-
 emphasized).  Does that make sense?

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