\chapter{Generic Types}

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