0.6.2 contravariant support