dependent-sum-template (hackage): Dependent sums and supporting typeclasses for comparing and displaying them
Keywords: public-domain|unclassified