constrained-categories-0.4.1.0: Constrained clones of the category-theory type classes, using ConstraintKinds.