Comment 4 for bug 1276282

Without TRULY-THE, we often get non-ideal later transforms after commutation: type information is lost because we have to let convert everything and reflow types through.

Might be a win to just swap the combination's argument list in place.