ghc-typelits-extra A GHC constraint-solver plugin that witnesses the injectivity of GHC.TypeLits.AppendSymbol. To use the plugin, add the OPTIONS_GHC -fplugin GHC.TypeLits.AppendSymbol pragma to the header of your file.
