Generics for the masses

A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can be derived in Haskell, such as show, read, and `=='. The recent years have seen a number of proposals that support th...