A mirror image of the standard type constructor class hierarchy rooted in Functor, except with methods of rank 2 types and class instances of kind (k->*)->*. The classes enable generic handling of heterogenously typed data structures and other neat tricks.