> Is there any way to get your overloaded functions to=20
> 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?
Short answer: no. Sorry :)
Simon