export type Inputs<B extends Batch, I extends Input<B>> = $<Structure<B>, [I]>;