Function composeCovariant

Compose a Covariant instance by nesting a pair of Covariants, the first on the outside and the second on the inside.