Value contract for a mutable list of items of type T.
Mutable list payload; element type may be covariant.