５．４ セッターとゲッターの関手を一般化する 前回の記事の中で、説明の中心となっていた\(Store \ a \)という関手は、代数的データ型を用いて、 data Store a s = (a, a -> s) で定義した。しかしこれはデータベースでのセッターとゲッターを分かりやすく…