Added segment on type-parameterized traits.