https://github.com/cando/Algar

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

category-theory functional-programming monad-transformers monads

Last synced: 04 Apr 2026