Elm Architecture 、いいんだけどランタイムが完全に Elm 任せなのがアレだな、要は Moore マシンの "実行係" が必要だけど、それもいじれててほしい
で、この "実行係" 全体って Monoid を構成すると思うんですけど（直感） どうなんでしょうね
実際にブラウザで動かす用のランタイム、テスト用ランタイム、ログ用…… などなどがありますが、それをモノイドによって合成できそうといった話
Elm Architecture 、いいんだけどランタイムが完全に Elm 任せなのがアレだな、要は Moore マシンの "実行係" が必要だけど、それもいじれててほしい
で、この "実行係" 全体って Monoid を構成すると思うんですけど（直感） どうなんでしょうね
実際にブラウザで動かす用のランタイム、テスト用ランタイム、ログ用…… などなどがありますが、それをモノイドによって合成できそうといった話
type Moore e a = Cofree (Function e) a
type Runtime e a = a -> Aff e
Aff も抽象化するか？
type Runtime e m a = a -> m e
う～ん