Dependent sums and supporting typeclasses for comparing and displaying them
Why do you think that https://github.com/tweag/monad-bayes is a good alternative to dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Why do you think that https://github.com/tweag/monad-bayes is a good alternative to dependent-sum