Can I just use macros? Passing the type as a parameter to a macro can let the compiler match types, no?