FreeTInstances

class Object
trait Matchable
class Any

Implicits

Implicits

implicit def monadPartialOrderForFreeT[F[_], M[_], S](M: Monad[M]): MonadPartialOrder[M, [_] =>> FreeT[F, M, _$3]]