export type Outputs<B extends Batch, O extends Output<B>> = $<
  Structure<B>,
  [O]
>;