mixin M {
}
class Base implements M {
}
class Derived extends Base implements M {
}