The program in question copies data from stdin, does the barest minimum of preprocessing, statically remaps all characters, and writes to stdout... Why on eart

The program in question copies data from stdin, does the barest minimum of preprocessing, statically remaps all characters, and writes to stdout... Why on earth is this a demonstration of what Haskell can do effectively? There's no room to exploit anything interesting about type level reasoning.