汎用的なデータ構造
例えば
Unixのコマンド
Jotaiのatom
配列操作
モナドとなりうるデータ型、及びそのmethod
モナドとなるデータ構造でコンテナぽいものしかない(?)
ドメインに依存した具体的な構造ではなく、
そういった構造をラップすることを想定している
換言すれば、任意の構造をラップできるようになっている
具体的なデータ型、というより、制御的、イベント的、なものが多い
state, list, maybe, result, reader, writer
構造というより、何かしらの操作を構造として具現化している
reducerにおけるeventとかも同じような話
eventの中身には任意の構造を取れる
けど、event自体の構造は共通したコンテナになっている