> but List operations cannot.

They can, the effect modeled by the list monad is non-determinism.