How compile-time strategies save you from exponential nightmares