propagate (反映する)

関数での反映は、呼び出し元が失敗時に起きることに対処する必要がない場合に行われます。 たとえば、decides エフェクトを含む関数は、decides エフェクトを含む別の関数から呼び出されることがあります。 この場合、何が呼び出されたとしても、呼び出し元はその後の失敗に対処する必要があります。