WIP
Aggregate type works for non-variadic type list