Transpose args, refer to usage example in ContravariantCoyoneda doc.