あーそうか、effectはtype safeに扱えないですね