# Monoids in the Category of Endofunctors
This is a **toy** library for studying the field of [Abstract Nonsense](https://en.wikipedia.org/wiki/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.