> Is accumulator-passing (HtDP Ch. VI) a monad? -- Matthias Well, using an accumulator as an explicit state variable is something that a state monad would abstract away. But I don't really know what "is X a monad?" means. Dave