Merge loops in desugarAsOverload