A type-safe haskell implementation, using Parsec, of a "Dictionary Replacer."