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.

For an example check out this.