Haskell Weird Kinds

Posted by SHiNKiROU on Stack Overflow See other posts from Stack Overflow or by SHiNKiROU
Published on 2010-06-13T23:15:08Z Indexed on 2010/06/13 23:22 UTC
Read the original article Hit count: 149

Filed under:

When I was experimenting with Haskell kinds, and trying to get the kind of ->, and this showed up:

$ ghci
...
Prelude> :k (->)
(->) :: ?? -> ? -> *
Prelude> 

Instead of the expected * -> * -> *. What are the ?? and ? things? Do they mean concrete types or "kind variables"? Or something else?

© Stack Overflow or respective owner

Related posts about haskell