Brent Yorgey's Typeclassopedia provides a useful conceptual hierarchy of Haskell types.

* https://wiki.haskell.org/Typeclassopedia