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

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

% TODO discuss layout function algorithm, application to separate compilation

% TODO mention impetus for zero_t design

% TODO mention use in tuple-type implementation