Post: Immutability#2.5 Covariant immutable stack