Narrows the Eager unwrap of a Lazy shape to the Shape or RangeShape constraint, so downstream indexed access stays sound.
The lazy Shape or RangeShape to resolve
Narrows the Eager unwrap of a Lazy shape to the Shape or RangeShape constraint, so downstream indexed access stays sound.