Contained element should also be contravariant