Haskell bietet eine Vielzahl nützlichen Typklassen. Sie bieten Schnittstellen für die Implementierung von Lösungsansätzen für nahezu beliebige Datentypen. In dieser Seminararbeit werden einige der wichtigsten Typklassen vorgestellt und anhand von Beispielen die Essenz der jeweiligen dahinterstehenden Konzepte erklärt.
Um Verwechslungen von Funktionen und Funktoren vorzubeugen, haben Parameter die einen Funktor repräsentieren den Namen f und Parameter die Funktionen darstellen die Namen g oder h.