ContravariantCoyoneda example: most of the basics.