| Moreover, I would like to propose the following: | | * Use a naming scheme for the functions that avoids having | to suffix some with "E" or "D" and some not. Example: we | have "cond", but "letE". Better *uniformly* use a single | suffix for all functions of the same class; eg, "condExp" | and "letExp" (or "condE" and "letE" if you desperately | want to save letters). | | * Get rid of the intriguing (but IMHO impractical) idea of | using mnemonics of a particular length for variants data | types. Example: we have "Mat" and "Mtch" as well as "Rhs" | and "Rihs", where the four letter variant is in the Q | monad. The distinction between "Mat" and "Match" etc will | vanish once we get rid of the two-level type scheme. Then | we can just have "Match" and "MatchQ" together with "Rhs" | and "RhsQ" and so on. I have no axe to grind here. As far as I am concerned, anything that meets with others' approval is fine with me. So, you merry and select band of TH users, speak up now, else Ian and Manuel will change it anyway! Simon