Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Why do you think that https://github.com/nikita-volkov/record is a good alternative to constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Why do you think that https://github.com/nikita-volkov/record is a good alternative to constrained-categories