Whereas [mutable T] is invariant with respect to T, [T] and [mutable? T] are covariant with respect to T.