functional programming – Problem with given instances writing MTL style code with Scala cats

Problems with inference seem to be one of the reasons why the particular MTL implementation that you linked is relying on traits such as MonadPartialOrder instead of MonadTransformer-typeclasses. Basically, what happens here is this: When you want to get from F to G The MonadPartialOrder-approach asks for a bridge from F to G Your approach … Read more