id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2146	Decomposition rule for equalities is too weak in case of higher-kinded type families	chak	chak	"{{{
foo :: (F Int a ~ F Int [a]) => a -> [a]
foo = undefined
}}}
gives us
{{{
    Occurs check: cannot construct the infinite type: a = [a]
}}}
but
{{{
foo :: (F Int a ~ F Bool [a]) => a -> [a]
foo = undefined
}}}
doesn't - although both should lead to the same error."	bug	closed	normal	6.10 branch	Compiler (Type checker)	6.9	fixed			Unknown/Multiple	Unknown/Multiple		Unknown