id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3916	incorrect kind inference in template haskell	nicolas.frisby		"It looks like a foldl needs to be changed to a foldr somewhere in the code that translates results from GHC's kind inference to the Template Haskell Kind data type.

Given this data declaration:

{{{
data F f a = F (f a a a a) 
}}}

the kind ascribed to {{{f}}}, as provided in the {{{Info}}} data structure resultant of reifying {{{F}}}, is

{{{
(((* -> *) -> *) -> *) -> *
}}}"	bug	closed	normal		Template Haskell	6.12.1	fixed	kinds		MacOS X	x86	Incorrect result at runtime