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?

Short answer: no. Sorry :) Simon