sS mapCharacters(S s, IF1 f) { ret join(map(characters(s), f)); } sS mapCharacters(IF1 f, S s) { ret mapCharacters(s, f); }