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