How to get a more specific type from “object type” in flow?

Question

Well consider the following code:

class base {
    field: T;
}

type SpecificTy = {|
    val: number,
    field: string,
|}

class s