don't offer to change relation to a label if the codomain is []
replace Map.Entry with Pair