Thanks indeed! ^_^ I've gotta thank myself for my own comment, 'cause suddenly I think I understand how to take various side-effect-like concepts I've been interested in and actually turn them into Haskell monads. XD Choose-your-own-adventure monads, FSM monads, and static single-assignment monads, here I come, maybe....
