exinst-cereal-0.7.1: Dependent pairs and their instances.