Data.Vector.Internal.Check
data Checks
doChecks
error
internalError
check
checkIndex
checkLength
checkSlice