「アイレンベルグ／ムーア圏 その1」において、アイレンベルグ／ムーア圏の定義をいちおうは述べたので、実例を挙げましょう。（[追記]List.map総称関数の型パラメータが間違っているなー、後で直す。[/追記]）（[さらに追記]直しました。[/さらに追記]）内…