Type error says that tuple components have kind (* -> *)

Prelude Data.Map> :kind (,)
(,) :: * -> * -> *

The following type error says that the second argument to (,) should have kind * -> *, which isn't true.

Prelude> :m +Data.Map
Prelude Data.Map> :kind (Map Int, Int)
<interactive>:1:11:
    The second argument of a tuple should have kind `* -> *',
      but `Int' has kind `*'
    In a type in a GHCi command: (Map Int, Int)

Now it can't make up its mind:

Prelude Data.Map> :kind (Int, Map Int)
<interactive>:1:7:
    Expecting one more argument to `Map Int'
    The second argument of a tuple should have kind `*',
      but `Map Int' has kind `* -> *'
    In a type in a GHCi command: (Int, Map Int)

Trac metadata

Trac field	Value
Version	7.6.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture