つに定められずにリストに収められていると見なしてください。つに定められずリストを返す関数です。良い感じに適用させたらどうなるべきでしょうか。それらの計算結果を全て集めたものとするのが自然でしょう。今言った処理をしています。なる単項リストを返すのが自然です。そのように定義されていますね。統一的に良い感じに扱える枠組みを提供してくれるわけです。モナドに関してはまだまだいろいろな機能があります。(これもまだ私が分かってない)。この辺りは別の機会で触れようと思います。reserved.TOP。