interface Test {
    op (a: Self)[idx: Int] -> Int;
}

implement Test for Array<Int>;