Covariant with non-composable operations