minor edits and a first attempt at the "is it a monad?" paragraph