typeable-th

This package provides template haskell functions for deriving TypeableN instances for types of every kind, selecting the best N that is possible.