úÎœÞunknown experimentallazar6@illinois.edu EMaps fresh variables with conflicting names to unique names that are  non-conflicting. =Concretize all of the fresh variables appearing in the given  $ value (most likely a Haskell AST). Same as , but returns the  used for  concretization. ATurn a fresh variable into a concrete variable by looking up the  variable':s name in the given conflict table; if not present in the  conflict table, the leading '@'' is simply dropped. Concrete variables  are returned unmodified. genConflictTable data constructs a  using the sets of 7 fresh variables and concrete variables that appear in data (most likely  a Haskell AST).  Construct a + with the given Sets of fresh and concrete  variable names. GAccumulator function to uniquify a list of Strings (updates the Set of % Strings as Strings are uniquified). uniquify set prefix4 returns a String with the given prefix that is not  contained in set. 3Infinite stream of letters to be used as suffixes:  [a..z,aa,ab..]       fresh-0.1.0Language.Haskell.Exts.Fresh ConflictTable concretize concretize'base Data.DataData concretizeVargenConflictTablemkConflictTable uniquifyAccuniquifyletters stripFreshisFreshunIdentisIdent