`balance(ky, y, l, r.insertMax(kx, x))`
https://github.com/ghc/packages-containers/blob/ghc-7.6.3-release/Data/Map/Base.hs#L2291