純粋と冪等とは何か — 圏論，Algebraic Effects，Applicativeな構造から見るReactのより精密な読み方