GitHub repository: leftaroundabout/constrained-categories
Primary language: Haskell
Description: Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds