object Test {
  import scalaz.Scalaz._

  val y2: List[(String, Int)] = ???
  
  // erroneous or inaccessible type in 210dbc7~1
  // after 210dbc7~1, we get unexpected inferred types for `apply`.
  // I think this stems from an in-scope implicit making the application
  // viable (via `isCoercible`), even though no view is applied to `x$1`!
  val y3 = y2.map(((x$1: (String, Int)) => scalaz.WriterT.apply(x$1)))

  scalaz.WriterT.apply/* !!! [Any, Nothing, Nothing]*/(("", 0))
}

object TestNoImport {
  val y2: List[(String, Int)] = ???
  
  // both of these give the expected type errors before and after 210dbc7.
  //val y3 = y2.map(((x$1: (String, Int)) => scalaz.WriterT.apply(x$1)))
  //scalaz.WriterT.apply(("", 0))
}

object TestSpecificImports {
  import scalaz.Scalaz.ApplicativeIdV
  scalaz.WriterT.apply(("", 0)) 
}

object Standalone {
  trait M[A]
  def writerT[F[_], A, B](fab: F[(A, B)]) = ???
  
  writerT((0, 0)) // type error, as we exped

  {
    implicit def View[A](v: => A): M[A] {} = ???
    writerT/* !!!  [Any, Nothing, Nothing]*/((0, 0)) // no type error
  }
}