ReactはUI = f(State)であるか？ここで 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呼び出し列
