class CovariantParam[+A] {
    def foo[A](a: A) = 42
}