「入門Haskell―はじめて学ぶ関数型言語」 p.33 より。
wordScan 利用版の wordsCount で，同じように `～’ を１単語と見なす拡張を追加しなさい。またその際，wordScan を積極的に利用すること。
これはめんどくさかった。
まずは`～’に対応していない wordScan 利用版。
wordsCount2 str = outWords str
where wordScan f [] = 0
wordScan f (c:cs)
| isAlphaNum c = f (inWords cs)
| otherwise = outWords cs
outWords str = wordScan (\n -> 1 + n) str
inWords str = wordScan id str
それから`～’に対応してるけど wordScan を利用しない版。
wordsCount str = outWords str
where outWords [] = 0
outWords (c:cs)
| c == '`' = 1 + inQuote cs
| isAlphaNum c = 1 + inWords cs
| otherwise = outWords cs
inWords [] = 0
inWords (c:cs)
| c == '`' = 1 + inQuote cs
| isAlphaNum c = inWords cs
| otherwise = outWords cs
inQuote [] = 0
inQuote (c:cs)
| c == '\'' = outWords cs
| otherwise = inQuote cs
このうちの条件分岐を wordScan の中に押し込めるんだけど，次に呼び出す関数との組み合わせをどうやったらうまく整理できるか，でずいぶんと試行錯誤した。
表にするとこんなふうになる。縦の軸が wordScan を呼び出す関数，横の軸が分岐条件で，各欄に書いてあるのはカウントアップのための関数と次に呼び出す関数。
| c == ‘`’ | c == ‘\” | isAlphaNum c | otherwise | |
|---|---|---|---|---|
| outWords | (1+) inQuote | outWords | (1+) inWords | outWords |
| inWords | (1+) inQuote | outWords | id inWords | outWords |
| inQuote | id inQuote | outWords | id inQuote | inQuote |
右上の２×２マスが拡張前の版に相当する。この場合はどの関数（outWOrdsとinWords）から呼び出されても次に呼び出す関数は，条件ごとにおなじだった。
それが，拡張版ではおなじ条件でもどの関数から呼び出されたかによって，次に呼び出す関数が変化する。しかも isAlphaNum c のときと otherwise のときの２つもだ。
だからこの２つのときに呼び出すべき関数を wordScan に引数として与えてやることにした。
wordsCount2 str = outWords str
where wordScan f g1 g2 [] = 0
wordScan f g1 g2 (c:cs)
| c == '`' = (1+) (inQuote cs)
| c == '\'' = outWords cs
| isAlphaNum c = f (g1 cs)
| otherwise = g2 cs
outWords str = wordScan (1+) inWords outWords str
inWords str = wordScan id inWords outWords str
inQuote str = wordScan id inQuote inQuote str
wordScan は関数を３つ（f，g1，g2）と文字列を１つ引数にとるようになった。f はカウントアップのための関数，g1とg2はそれぞれisAlphaNum c ，otherwise のときに呼び出す関数だ。
で，実行結果。
*Main> wordsCount2 "`Theory of Everything' by Greg Egan" 4
うん，ちゃんと `～’ を１単語と認識してるな。