@@ -277,7 +277,11 @@ addNames value = do
277277 Is Number -> (Just $ "number" ++ replicate a '\'', (vars, a+1, b, c))
278278 Is Comparable -> (Just $ "comparable" ++ replicate b '\'', (vars, a, b+1, c))
279279 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
282+ Flexible -> ""
283+ Rigid -> "!"
284+ Constant -> "#"
281285
282286
283287type CrawlState = ([String], Int, Int, Int)