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