actually perform early exit in right fold version