exinst-serialise-0.7: Dependent pairs and their instances.