Run implicit case的疊代過程