export type Widget = { kind: 't1'; v: number };