abstract class Sequence[+A]{
    def append[B >: A](x: Sequence[B]): Sequence[A]
}