extended-categories (hackage): An implementation of category theory, similar to that of data-category, which makes use of GHC's enriched kind system.
Keywords: bsd3|library|math