Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds - View it on GitHub