no state in haskell? not in my haskell. state is usually made explicit, yes. there is a state monad because of a reason...