abstract class Sequence[+A]{
    def append(x: Sequence [A]): Sequence[A]
}
// append implementuje ceche Function1, czyli:
// argumenty kontrawariantne [-A], typ wyniku funkcji kowariantny[+A]

trait Function1[-S, +T] extends AnyRef{
    abstract def apply(x: S): T
}