Efficient run-time dispatching in generic programming with minimal code bloat