monoids-in-the-category-of-endofunctors/README.md

Monoids in the Category of Endofunctors

This is a toy library for studying the field of Abstract Nonsense through Haskell. Writing this sort of code makes for a fun puzzle, but you probably shouldn't use this for any serious work.

This library currently includes:

• Category theory
• Recursion schemes (Functor.Algebra)
• Dependent types, type-level programming, and codata (Data)
• Dependent quantifiers (implemented with the help of a typeclass; Quantifier)

Content warning

This library is an abuse of GHC Haskell and an abuse of common sense. Do not attempt to view this library if you are faint of heart.