@hackage extended-categories0.2.0

Extended Categories

An implementation of category theory which makes use of GHC's enriched kind system.