标签： scala free-monad scala-cats
我有一个自然变换MyADT ~> MyState的翻译。
MyADT ~> MyState
type MyState[A] = State[MyClass, A]时没问题。但是，如果我有type MyState[A] = State[MyClass, M[A]]，其中M是任何monad，那么在调用could not find implicit value parameter M: cats.Monad[MyState]时我会收到错误：foldMap。
type MyState[A] = State[MyClass, A]
type MyState[A] = State[MyClass, M[A]]
could not find implicit value parameter M: cats.Monad[MyState]
foldMap
有什么问题？