Geef aan wat het nut is van typeklassen

Een typeklasse is een groep typen waarop een bepaalde operator kan worden toegepast. Overloading is mogelijk dankzij het bestaan van typeklassen. Een overloading functie kan op een aantal verschillende typen werken. De operator + werkt bijvoorbeeld op de numerieke typen Int, Integer, Float, FDouble en Ratio. Deze numerieke typen vormen samen  bijvoorbeeld de klasse Num. De operator + is een operator van klasse Num en is gedefinieerd op alle typen van deze klasse. Dit komt tot uiting in de typespecificatie van de operator +:
(+) :: Num a => a->a->a