@@ -277,7 +277,11 @@ addNames value = do
277 Is Number -> (Just $ "number" ++ replicate a '\'', (vars, a+1, b, c))
277 Is Number -> (Just $ "number" ++ replicate a '\'', (vars, a+1, b, c))
278 Is Comparable -> (Just $ "comparable" ++ replicate b '\'', (vars, a, b+1, c))
278 Is Comparable -> (Just $ "comparable" ++ replicate b '\'', (vars, a, b+1, c))
279 Is Appendable -> (Just $ "appendable" ++ replicate c '\'', (vars, a, b, c+1))
279 Is Appendable -> (Just $ "appendable" ++ replicate c '\'', (vars, a, b, c+1))
280− _ -> (Just $ head vars, (tail vars, a, b, c))
280+ other -> (Just $ head vars, (tail vars, a, b, c))
281+ where mark = case other of
283type CrawlState = ([String], Int, Int, Int)
287type CrawlState = ([String], Int, Int, Int)