Tagged family-equality