Composition of constant array and covariant return extensions.