Derived traits [Sat00 1.11]
Stroustrup styled derived traits [Sat00 1.11]
Combined derived traits [Sat00 1.11]