package cats

/** A monad that has the ability to read from an environment. */
trait MonadReader[F[_], R] extends Monad[F] {
  /** Get the environment */
  def ask: F[R]

  /** Modify the environment */
  def local[A](f: R => R)(fa: F[A]): F[A]
}

object MonadReader {
  def apply[F[_], R](implicit F: MonadReader[F, R]): MonadReader[F, R] = F
}