Report question

Question: Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *