monads, p 7, edits
monads, p 8, edits
monads, p 9, edits
monads, p 10, edits
monads, p 11, edits
monads, p 12, edits
monads, p 13, edits