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