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.