dnaumenko · February 11, 2020 12:28
diff --git a/env_data_type_simple_correct.scala b/env_data_type_simple_correct.scala
 trait Env[Ctx, +A] {
  def run: RIO[Ctx, A]
  // basic transformations
  def map[B](f: A => B): Env[Ctx, B]
  def flatMap[B](f: A => Env[Ctx, B]): Env[Ctx, B]
  def void: Env[Ctx, Unit] = map(_ => ())
 }
	trait Env[Ctx, +A] {
	def run: RIO[Ctx, A]
	// basic transformations
	def map[B](f: A => B): Env[Ctx, B]
	def flatMap[B](f: A => Env[Ctx, B]): Env[Ctx, B]
	def void: Env[Ctx, Unit] = map(_ => ())
	}