Pere Villega's blog

If at first you don’t succeed, call it version 1.0

Free Monads using FreeK

My previous post on Free Monad implemented a few DSL using Free Monads. The same day I published it I discovered FreeK by Pascal Voitot. How does FreeK help you when building a Free Monad?