# 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 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).