DouKaku?

すばらしいですねー。
私の脳みそでは理解するのにすら数時間かかりました(^_^;

#4546では、f (n-m) m (n-m) で箱の数(n-m)、行数m以下、列数(n-m)以下のヤング図形を全て作って、最後に左に高さmの列を付け加えるわけですね。
一方#4586の f n p m では、直接行数がちょうどmのヤング図形を生成すると。

(n+m-1) `div` m とかにも熟練を感じます。
勉強になりました。

ところで7行目の <= は、 < の場合も拾うのは気持ちが悪いので、== でいいのではないでしょうか。
なんか重箱の隅をつつくようで申し訳ないですが。