This is the sort of thing that hypertext should be good at. You write a page explaining how to use monads for IO, a page explaining the list monad, a page for

This is the sort of thing that hypertext should be good at. You write a page explaining how to use monads for IO, a page explaining the list monad, a page for the Maybe monad, blah blah blah, and a page explaining the Monad typeclass (probably another page explaining do-notation too). And they all link to each other as appropriate.