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,,,,