interface Array<T> {
  // https://github.com/Microsoft/TypeScript/issues/7657
  filter<U extends T>(pred: (a: T) => a is U): U[];
}