certainly desired, but not always possible, seeing as we actually want to do state changes, for example output, unless with much hand-waving monads, which of co

certainly desired, but not always possible, seeing as we actually want to do state changes, for example output, unless with much hand-waving monads, which of course really do change state.