data.Map.internal.balance can't round-trip

edit data.Map.internal.balance

  Loading changes detected in ~/work/unison/trunk/scratch.u.

  The expression in red

                needs the abilities: {𝕖52}
    but was assumed to only require: {𝕖162, 𝕖163}

  This is likely a result of using an un-annotated function as an argument with concrete abilities. Try adding an annotation to the function definition whose body is red.

     15 |     l                   -> doubleR k x l

unisonweb / unison

data.Map.internal.balance can't round-trip #5315