Derive elim specialized to types in examples.
Complete Derived!