Что-то ты мистифицируешь kind'ы. Это не что иное, как простенькая система типов над типами. Список символов используешь?

Prelude> :t ['a','b','c']
['a','b','c'] :: [Char]
Prelude> :k [Char]
[Char] :: *
Prelude> :k Char
Char :: *
Prelude> :k []
[] :: * -> *