[GHC] #13909: Can't partially apply a data type with a visible quantifier in its kind

[GHC]

#13909: Can't partially apply a data type with a visible quantifier in its kind
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.0.1
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 Other than the "expecting two more arguments" part (it should be "one",
 not "two"), this is correct behavior. What you're trying to do would
 require impredicative polymorphism in kinds, as you want the kind variable
 `k` to expand to a type involving a `forall`.

 We can keep this open as an example of a misphrased error message, but
 rejection is the correct action until we have impredicativity.

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