Kind parsing seems to be failing

Template Haskell doesn't seem to be handling kinds right. Consider

test :: String
test = $(do
	test <- [d| 
		type family HTrieMapT :: (* -> (* -> * -> *)) -> (* -> *) -> * |]
	return (LitE (StringL (pprint test))))

What this actually outputs is

type family HTrieMapT :: (* -> ((* -> *) -> *) -> *) -> * -> *

which doesn't even seem close to the right kind.

Trac metadata

Trac field	Value
Version	6.12.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture