如何在Flow中验证类类型？

Question

我有一个函数接受一个类的实例作为参数。使用Flow进行静态类型检查，我想确保只接受特定类的实例或扩展它的类。

例如说我有：

class Foo {
  doSomething (): boolean {
  return true
  // ...other fields/methods...
}


class Bar extends Foo

然后我有一个方法：

function myFunction(fooInstance) {
  return fooInstance.doSomething()
}

我可以添加Flow注释以确保只将Foo的实例或像Bar这样的子类传递给myFunction()吗？