rank2classes-1.5.2: standard type constructor class hierarchy, only with methods of rank 2 types

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.