Data.Vector.Internal.Check
data Checks