kind-generics-0.5.0.0: Generic programming in GHC style for arbitrary kinds and GADTs.

This package provides functionality to extend the data type generic programming functionality in GHC to classes of arbitrary kind, and constructors featuring constraints and existentials, as usually found in GADTs.