Free Monads and useful constructions to work with them - View it on GitHub