Remove an excessive decodeString
Remove an excessive decodeString

We already decode from utf8 in ArgsParse,
and the Strings returned by hint are proper Unicode.
Now we are ahead of ghci on this.

darcs-hash:20080829150555-cd449-6cc2cd3c1bdb1fb67bf22f63743cef90ecd7dbc3

bitemyapp/mueval,gwern/mueval