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