\section{Type Classes}
\label{sec:classes}