3 repositories on SrcLog
Library of categories, with categorical constructions on them
Constraint-based generics
Provides free functors that are adjoint to functors that forget class constraints.