GHC.PArr: add bounds checking