You can write a macro to duplicate a piece of code with different type declarations, and switch between them at entry depending on the types of various values.

You can write a macro to duplicate a piece of code with different type declarations, and switch between them at entry depending on the types of various values. Code blowup, yes, but you can optimize the common cases without manually duplicating code.