if the piece of code in question is so type independent, then either it should be generic or it's doing too much