\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 put a static const field in for _n_fields for each generic, describe utility for separate compilation

% TODO mention impetus for zero_t design

% TODO mention use in tuple-type implementation

% TODO pull benchmarks from Moss et al.