動的計画法にData.Vector.constructNは使うべきではない。 - Qiita

-- | /O(n)/ Construct a vector with @n@ elements by repeatedly applying the -- generator function to the already constructed part of the vector. -- -- > constructN 3 f = let a = f <> ; b = f <a> ; c = f <a,b> in f <a,b,c> -- constructN :: Int -> (Vector a -> a) -> Vector a ソース コメントからわかるように、constructNは引数として整数nと配列の要素を生成する関数fを受け取って長さnの配列を生成する。 この時、生成関数fは「0からn-1番目まで生成された配列」から「n番目の要素」を返すようにする。 さてこの関数を使

[igrep]

“Data.Vector.Vectorは非正格なので取り扱いに注意すべし。 Data.Vector.Strictみたいなものがあれば良いのだが。”