Why can't Haskell resolve the kind of [[]] (A list of lists)? Why isn't it simply * - *, as I can give it a type like Int, and get [[Int]], which is of kind *.