Co-/contravariance presents an inherent ontological challenge. Whenever your problem domain involves collections of things organized by an is-a relationship, this problem emerges. Whether it's a bouquet of flowers or a bowl of fish, the issue persists.
