On a higher level, there's Typeclassopedia http://www.haskell.org/haskellwiki/Typeclassopedia.