class Cov[+A](a: A) {
  def foo = Seq(a)
}