obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

Factor out `GComparing` Monad #68

Closed Ericson2314 closed 2 years ago

Ericson2314 commented 2 years ago

Not sure we want to expose this module yet, so just kept this change purely implementation-only by putting it under other-modules