List型はモナドで、Listはインデックスによる要素へのアクセスやソートができるが、これはモナドとは関係ない
「モナドで副作用を実現している」というのは「モナドでリストのソートを実現している」というのと同様に誤り