>>15
ちなみに、関数 saturate の型について細かいことは問いません。

最低限、引数としてリスト [a] とコンテナのサイズがあり、
戻り値として実際に詰め込めた部分リスト [a] があればいいです。
他の引数があっても、制約を課してもいいです。

解答例のように部分リストの大きさも同時に分かれば尚いいですが、
それは後から sum . map size でも得られるので無くてもかまいません。


ちなみに、ちなみに、私の自分の解答に対する不満というのは、
問題の中に特に再帰的な性質が陽に現れている訳ではないのに、
関数の中で再帰を陽に使っていることです。

これは、たとえば部分が全体の縮小版になっているという
本質的に再帰的な性質を持つ階乗の計算をする関数を
再帰を陽に使って表すのとは訳が違う、ような気がなんとなくします。