Experimentation with implementing typelists with variadic templates.