This package provides a variant of the SingKind class from the singletons library which supports GADTs and poly-kinded data types, as well as Template Haskell functionality to quickly generate instances of it.
The design of this library is heavily inspired by code written here by Richard Eisenberg. This technique is presented as a separate library (instead of incorporating the technique directly into the singletons library) due to some annoying steps one must take to work around GHC Trac #12088, which affects the code here. Refer to the documentation in the Data.Singletons.GADT module for more information.