\section{High Level Structures}

\subsection{\texttt{where} clauses}

\subsection{The \texttt{with} rule}

\subsection{Type Classes}

\subsection{Syntactic Sugar}