An implementation of category theory, similar to that data-category, which makes use of GHC's enriched kind system.