hask (hackage): Kind-polymorphic category theory in Haskell
Keywords: bsd3|control|library