DirectMonadInput
case class DirectMonadInput[F[_, _, _], S, W](success: Expr[MonadSuccess[F]], fallible: Expr[Option[MonadFallible[F]]], sequence: Expr[MonadSequence[F]], sequencePar: Expr[MonadSequenceParallel[F]], state: Expr[Option[MonadState[F, S]]], log: Expr[Option[MonadLog[F, W]]])(implicit evidence$2: Type[F], evidence$3: Type[S], evidence$4: Type[W])
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any