Dynamic Trait Synthesis

You will synthesize trait implementations dynamically based on the observed structure of types.