\chapter{Generic Types}
\label{generic-chap}

Talk about generic types. Pull from Moss~\etal\cite{Moss18}.