[GHC] #1633: Now where does this error come from

[GHC]

#1633: Now where does this error come from
------------------------------+---------------------------------------------
    Reporter:  guest          |        Owner:         
        Type:  proposal       |       Status:  new    
    Priority:  normal         |    Milestone:         
   Component:  Documentation  |      Version:  6.6.1  
    Severity:  normal         |   Resolution:         
    Keywords:                 |   Difficulty:  Unknown
          Os:  Unknown        |     Testcase:         
Architecture:  Unknown        |  
------------------------------+---------------------------------------------
Comment (by chevalier at alum.wellesley.edu):

 A kind is to a type what a type is to a value. The error message is saying
 that the type {{{ServerPart (EvPar res st) Request Result}}} is ill-
 formed. Since the error message only concerns the type, not the code,
 that's why the error message doesn't mention the code. In this case, the
 error is saying that you're using a type ({{{Result}}}) in a context where
 a type constructor is expected (analogous to applying the constant 1 to an
 argument). Looking at the type definition for {{{ServerPart}}} should be
 enlightening.

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