type classes allow a function to work on a specific set of types, but the
general idea is the same. The opposite of this is a \emph{monomorphic}
value, which has a single, fixed, type.
% A type class is a collection of types for which some operations are
% defined. It is thus possible for a value to be polymorphic while having
type classes allow a function to work on a specific set of types, but the
general idea is the same. The opposite of this is a \emph{monomorphic}
value, which has a single, fixed, type.
% A type class is a collection of types for which some operations are
% defined. It is thus possible for a value to be polymorphic while having