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