リストモナドなどの非決定性のモナドだと、それぞれの候補が自発的に失敗して消えていくことはできても、それぞれの候補を比較して、「いいものを残す」みたいなことはできなそう。