Finish contravariant coyoneda example.