type Ok = Exclude; type Err = Extract; export type { Err, Ok };