Conditional Impls

It's even more than a conditional implementation for a type - with generics and trait bounds you're selecting any number of types that it's going to work with, almost like an SQL query.

It so happens that the impedance mismatch between trait-based design and OOP is also as hard as ORMs.