more instances for contravariant yoneda reduction