rank2classes (hackage): 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.
Keywords: bsd3|control|data|generics|library