An immutable, covariant list with eager load semantics.