"Simon Peyton-Jones" writes: | | > reify :: Var -> Q Dec | | | | I still prefer "Name" to "Var" (assuming I'm not confused and you can | | give it the name of a class, type or whatever). | | Yes, you may be right. I'd be interested to hear other opinions. These | naming issues are always contentious. Remember that this new data type | (Var or Name or whatever we decide to call it) is pretty ubiquitous. | It's going to replace pretty much all the occurrences of String in the | Exp, Dec etc data types. E.g. | | data Exp = Var Name | | Lam Name Exp | etc Such an example of use cases makes me prefer Name. But, it is a minor issue I guess. -- Gaby