algar 0.4.1

Algebraic structures, higher-kinded types and other category theory bad ideas
Documentation