[Haskell-beginners] about kind of (->)

Song Zhang vxanica at gmail.com
Sat Jun 16 16:25:08 CEST 2012


a function has also a kind. According to haskell report 2010 4.1.2 it is *
-> * -> *, which is easy to understand. However in ghci I type :k (->). the
output is ?? -> ? -> *. I want to know what do ?? and ? mean. Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20120616/ab48d400/attachment.htm>


More information about the Beginners mailing list