Algar

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