| otherwise = filter is_defaultable_group (equivClasses cmp_tv unaries)
where
unaries :: [(CanonicalCt, TcTyVar)] -- (C tv) constraints
| otherwise = filter is_defaultable_group (equivClasses cmp_tv unaries)
where
unaries :: [(CanonicalCt, TcTyVar)] -- (C tv) constraints
(unaries, non_unaries) = partitionWith find_unary (bagToList wanteds)
-- Finds unary type-class constraints
(unaries, non_unaries) = partitionWith find_unary (bagToList wanteds)
-- Finds unary type-class constraints