# Free Algebras
[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
[![Travis Build Status](https://travis-ci.org/coot/free-algebras.svg?branch=master)](https://travis-ci.org/coot/free-algebras)

Universal algebra approach (which is compatible with categorical approach) to
free algebras (including higher order structures like functors, applicative
functors or monads).  Mathematical introduction alongside with some Haskell
ideas can be found
[here](https://marcinszamotulski.me/posts/free-monads.html).

For an example check out [this](https://github.com/coot/free-algebras/blob/master/examples/src/Network/TCP.hs).