R
Size: a a a
R
R
R
K
ὦ
K
Oℕ
Selective[Writer[Chain[Int], *]]
ambiguous implicit values:
[error] both method selectiveWriterT in trait SelectiveInstances2 of type [F[_], W](implicit evidence$5: tofu.control.Selective[F], implicit evidence$6: cats.Monoid[W])tofu.control.Select
ive[[γ$3$]cats.data.WriterT[F,W,γ$3$]]
[error] and method selectiveOverMonad in trait SelectiveInstances of type [F[_]](implicit evidence$1: cats.Monad[F])tofu.control.Selective[F]
[error] match expected type tofu.control.Selective[[β$0$]cats.data.WriterT[[A]A,cats.data.Chain[Int],β$0$]]
w
Selective[Writer[Chain[Int], *]]
ambiguous implicit values:
[error] both method selectiveWriterT in trait SelectiveInstances2 of type [F[_], W](implicit evidence$5: tofu.control.Selective[F], implicit evidence$6: cats.Monoid[W])tofu.control.Select
ive[[γ$3$]cats.data.WriterT[F,W,γ$3$]]
[error] and method selectiveOverMonad in trait SelectiveInstances of type [F[_]](implicit evidence$1: cats.Monad[F])tofu.control.Selective[F]
[error] match expected type tofu.control.Selective[[β$0$]cats.data.WriterT[[A]A,cats.data.Chain[Int],β$0$]]
YE
Oℕ
w
R
YE
w
YE
Oℕ
Oℕ