monads,  p 8, draft
monads, p 10, draft
monads, p 10, draft