First and second units: Acknowledge, in passing, the existence Foldable and the fact that it shows in types such as that of length, as early as reasonable. 23:37, 9 October 2016 (UTC)

Second and third units, generally: Talk about type classes in a more natural way. Anticipate some of the explanation about Show and deriving. Reevaluate the showAnniversary example. 03:53, 28 September 2015 (UTC)

Lists III: There is a certain jerkiness in the text. 00:57, 29 September 2015 (UTC)

Third unit, generally: Expand a bit the discussion about Maybe. Improve the remarks about kinds. 03:53, 28 September 2015 (UTC)

Indentation: Review the exercises and the if-within-do remarks. 03:53, 28 September 2015 (UTC)

Third and fourth units, generally: Talk a little more about Either. 03:53, 28 September 2015 (UTC)

Fourth and fifth units, generally: Adjust the balance of the various discussions about Monad and Applicative to compensate for the Prologue chapter. 23:37, 9 October 2016 (UTC)

Fourth unit: Decide between mapM and traverse, etc. 06:33, 10 October 2016 (UTC)

State: Write solution for the last exercise. 16:54, 13 July 2015 (UTC)

Monad Transformers: Review in light of the AMP reorganisation. Decide whether to go further with the transition to Alternative. 07:35, 21 November 2016 (UTC)

Monad Transformers: Explicitly address the higher-kindedness of transformers. 13:20, 21 March 2018 (UTC)

Foldable: Illustrations for "Deconstructing foldr" 16:54, 13 July 2015 (UTC)

Understanding arrows: Talk about ArrowPlus (to be done after we talk about Alternative somewhere else). 01:29, 18 July 2015 (UTC)

Potpourri of monads: proposed new chapter (provisional title). Quick overview of Reader, Writer and Except, and perhaps also of the MTL classes. 16:54, 13 July 2015 (UTC)

CPS: Add a section with examples of CPS transformations in the wild. Possible instances: difference lists, foldl, optics, pipes, LogicT, attoparsec if we are really brave, the maybe functions and monads in general for cheesiness. 03:58, 28 September 2015 (UTC)

Effectful streaming: proposed new chapter. Discuss the pitfalls of lazy IO, introduce Pipes or Conduit (I'm leaning towards the former). 16:54, 13 July 2015 (UTC)

Concurrency: expand into a proper chapter. Take clues from SPJ's "Beautiful Concurrency". Try to incorporate the concurrency example from Practical Monads. 00:43, 14 May 2014 (UTC)

Existentials: cleanup, as the current text is a bit confusing. After that, add a link from "Mutable objects". 16:24, 18 July 2015 (UTC)

Category theory: Fix discussion of the "second" monad law (i.e. the second and third monad laws) and of the "third" and "fourth" monad "laws" (i.e. the naturality of join and return). 01:29, 18 July 2015 (UTC)

Curry-Howard: add motivation, examples and generally make the text flow better. 01:29, 18 July 2015 (UTC)


Alternative: Discuss it... somewhere. This issue is closely related to the monad/applicative ordering. 01:27, 20 September 2015 (UTC)   Done 07:35, 21 November 2016 (UTC)

State, MonadPlus, Monad Transformers: quick review. 00:43, 14 May 2014 (UTC)   Done 07:35, 21 November 2016 (UTC)

Fourth unit, generally: Should we introduce applicative functors before monads? If so, begin planning the substantial reorganisation that will require. 01:27, 20 September 2015 (UTC)   Done 23:37, 9 October 2016 (UTC)

Monad transformers: provide solutions to the exercises. Consider removing the (broken) ListT 16:54, 13 July 2015 (UTC)   Done 01:27, 20 September 2015 (UTC)

Monad chapters: decide whether to replace liftM with fmap. 00:43, 14 May 2014 (UTC)   Done 01:27, 20 September 2015 (UTC)

Mutable State: write, covering IORef and ST. Consider using the true quicksort as an example. 00:43, 14 May 2014 (UTC)   Done 2015-07-18

HOF and Currying: curry, uncurry, id, const. 00:43, 14 May 2014 (UTC)   Done 2014-06-06

HOF and Currying: add caveats to faux-quicksort example. 00:43, 14 May 2014 (UTC)   Done 2014-06-06

Applicative: rewrite. Sections: multi-fmap, déja vu, laws, ziplists, (alternative), chain of power, monoidal. 00:43, 14 May 2014 (UTC)   Done 2015-07-04

Understanding Arrows: rewrite. One possible take: arrows add context to functions in the way functors add context to values. See also: Hughes' 2000 paper. 00:43, 14 May 2014 (UTC)   Done 2015-07-17

State: incorporate the state/State note into the text body. 00:43, 14 May 2014 (UTC)   Done 2015-07-13

Practical Monads: remove, at least temporarily. 00:43, 14 May 2014 (UTC)   Done 2014-06-06

Monoids: tidy up a litte bit. 00:43, 14 May 2014 (UTC)   Done 2015-07-13

Monoids: Complete the XMonad and diagrams examples. 16:54, 13 July 2015 (UTC)   Done 2015-07-17

Foldable and Traversable: write, then add a nod to it in the Functor chapter. 00:43, 14 May 2014 (UTC)   Done 2015-07-13


Convert the public book watchlist examples to c:Module:Page, and check the implications. 00:43, 14 May 2014 (UTC)   Done 2015-07-13

Add categories and/or catalogue links to Template:La2 and the book watchlist infrastructure. 00:43, 14 May 2014 (UTC)   Done 2015-07-13

Check out periodically if there is a way to fix the automated watchlist. 16:54, 13 July 2015 (UTC)