I... mostly agree but I think that the type-class use case allows for stronger DSLs that let you seperate code from effects in a pretty clean way. A lot of func

I... mostly agree but I think that the type-class use case allows for stronger DSLs that let you seperate code from effects in a pretty clean way. A lot of functionally pure stuff works off of this and building a DSL like this without type classes or implicits might be a bit messy https://www.chrisstucchio.com/blog/2015/free_monads_in_scalaz.html https://www.chrisstucchio.com/blog/2015/free_monads_in_scala...