Is there any way to get your overloaded functions to basically behave like templates in C++; i.e., by "automatically" inserting {-# SPECIALIZE ... #-} for every function, for every instance, for each type that is actually used in the program? -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume