abstract class Interface {}

mixin Mixin0<X> {}

mixin Mixin1<X extends Interface> {}

mixin Mixin2<X extends Interface> {}

abstract class C<X, Y, Z extends Interface> with Mixin0<Y>, Mixin1, Mixin2<Z> {}