-<!-- -->
-* User manual for [GHC latest](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide) |
-[GHC in Haskell Platform](https://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_guide)
-* Libraries for [GHC latest](https://downloads.haskell.org/~ghc/latest/docs/html/libraries) |
-[Haskell Platform](https://www.haskell.org/platform/doc/2014.2.0.0/platform/doc)
-* GHC [releases](https://www.haskell.org/ghc) and [other docs](https://wiki.haskell.org/GHC)
+Metaphors and analogies
+* [Understanding monads](http://en.wikibooks.org/wiki/Haskell/Understanding_monads)
+* [Monads as containers](http://www.haskell.org/haskellwiki/Monads_as_containers)
+
+Making monads nest
+* [Monad Transformers Step by Step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf)
+* [Grok Haskell Monad Transformers](http://sigfpe.blogspot.com/2006/05/grok-haskell-monad-transformers.html)
+
+Links to Category Theory
+* [The Haskell Programmer's Guide to the IO Monad](http://doc.utwente.nl/53411/1/00000154.pdf)
+
+* [Quick Introduction to IO](https://wiki.haskell.org/Introduction_to_IO)
+* [A tour of the Haskell Monad functions](http://members.chello.nl/hjgtuyl/tourdemonad.html)
+-->
+
+
+### More Advanced Docs ###
+
+* GHC User's Guide from
+[Haskell Platform](https://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_guide) |
+[latest](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide)
+* Libraries from
+[Haskell Platform](https://www.haskell.org/platform/doc/2014.2.0.0/platform/doc) |
+[Haskell 2010](https://www.haskell.org/onlinereport/haskell2010/haskellpa2.html) <!--
+[GHC latest bootstrap libraries](https://downloads.haskell.org/~ghc/latest/docs/html/libraries)
+-->
+* GHC [releases](https://www.haskell.org/ghc) and
+[other docs](https://wiki.haskell.org/GHC), including
+[GHCi](https://wiki.haskell.org/GHC/GHCi) and
+[GHC FAQ](https://wiki.haskell.org/GHC/FAQ)