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