@hackage hask0

Categories

Kind-polymorphic category theory in Haskell