We use type-level tuples rather than type-level lists.
basic aspect-oriented programming example