id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
7410,Type error says that tuple components have kind (* -> *),benl,,"{{{
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)
}}}
",bug,closed,normal,,Compiler (Type checker),7.6.1,fixed,,,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,Unknown,typecheck/should_fail/T7410,,,