ここで useProps はReactの実在APIではない. 以降では,通常はComponentの関数引数として受け取るpropsも,ハンドラから現在のpropsを読む概念的なHook操作として一般化して扱う. ユーザーが書くComponentはエフェクトフルな計算(effectful computation)として,React Fiberはそのハンドラ(解釈器)として見なせる. ただし,これはReactのすべてをAlgebraic Effectsだけで説明できる,という主張ではない. 特にRules of Hooksが要求する「Hook呼び出し列の静的な形」は,通常のMonadやAlgebraic Effectsの語彙だけでは捉えにくい. ここでは,まずRules of Hooksという規約があり,それがComponent bodyの形に制約をかける. その結果として,Hook呼び出し列

