def escapeTextForHtml(s): return concatMap(escapeCharForHtml, s)
def escapeText(s): return concatMap(escapeChar, s)