Free monad considered harmful https://markkarpov.com/post/free-monad-considered-harmful.html Excellent, pragmatic blog post discussing usage of free monads, performance, and when you can simply use typeclasses.