Data.Vector.Internal.Check