pub type Window = (Bound, Bound);
OVER T[from..to]: a reduction per item over a window of items.
OVER T[from..to]