Static Dispatch and Generic Specialization

Reduce binary bloat by using trait bounds to generate specialized code paths at compile time.