Data.List.sortがあまりに遅くてつらいので、vectorを使って書いてチューニングしたら約４倍速くなりましたという話をします。その過程でvectorのmonadic indexingとは何かという話をします。仕様としてData.Listと互換性を持たせるため、次のようなインター…