Macros that provide common patterns for implementing traits in terms of other traits.