@@ -32,7 +32,8 @@ generalize youngPool = do
3232 -- start at low ranks so that we only have to pass
3333 -- over the information once.
3434 visitedMark <- TS.uniqueMark
35− mapM (\(poolRank, vars) -> mapM (adjustRank youngMark visitedMark poolRank) vars) (Map.toList rankDict)
35+ forM (Map.toList rankDict) $ \(poolRank, vars) ->
36+ mapM (adjustRank youngMark visitedMark poolRank) vars
3637
3738 -- For variables that have rank lowerer than youngRank, register them in
3839 -- the old pool if they are not redundant.