サイズ k の 2 次元行列を n+1 (たとえば) 走査し、配列の各要素が要素のリストであるアルゴリズムを書きたいと思います。これらのリストのサイズはさまざまで、長さは 1、2、...、k です。確かに、最初の行ではすべて長さ 1、2 番目の行では長さ 2、...、k 番目の行では長さ k になるとさえ言えます。Haskell には「k-タプル」のための何らかのメカニズムがあると思いますが、それが何であるかはわかりません。型が何らかの固定サイズでインデックス付けされていたとしても、それは問題ありません。パフォーマンスがわずかに低下することを意味しますが、それほど悪くはありません。
助言がありますか?