ungadtagger (hackage): UnGADTagger encapsulates abstraction-from-GADT-tag workflow by utilizing existentials, rank2-types and kind polymorphism.
Keywords: bsd3|data|library