Oooooo... that makes perfect sense.

> That works because the Get monad builds up a description of steps to perform, so is purely declarative.

AWESOME way to put it. Thank you...