> x isn't a state, so both `next x` evaluate to the same value Yes. More generally, Haskell functions are pure (side-effect free), so you always expect the sa

> x isn't a state, so both `next x` evaluate to the same value Yes. More generally, Haskell functions are pure (side-effect free), so you always expect the same input value to result in the same output.