Functors:
 - _ and $ operators to allow for virtual type sequence and type recursion generics