class ImplicitNotFound {

  def main(arguments: Array[String]) {
    {
      implicit def view[A: Manifest](a: Int): Array[A] = ???
      val array: Array[Int] = 1 // OK
    }

    {
      implicit def view[A: Manifest](a: Int): Seq[A] = ???
      val seq: Seq[Int] = view(1) // OK
    }

    {
      implicit def view[A: Manifest](a: Int): Seq[A] = ???
      val seq: Seq[Int] = 1 // type mismatch;  found   : Int(1)  required: Seq[Int]
    }
  }
}

type InvariantSeq[A] = Seq[A]
implicit def view[A: Manifest](a: Int): InvariantSeq[A] = ???
val invariantSeq: InvariantSeq[Int] = 1 // OK
val seq: Seq[Int] = invariantSeq // OK