Dependent sums and supporting typeclasses for comparing and displaying them - View it on GitHub