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 https://marcinszamotulski.me/posts/free-monads.html
For an example check out this link: https://github.com/coot/free-algebras/blob/master/examples/src/Network/TCP.hs
Free Algebras alternatives and similar packages
Based on the "free" category
Do you think we are missing an alternative of Free Algebras or a related project?