Устранить проверку границ массива Haskell для ограниченного типа?

Я создаю множество массивов с типом индекса Boundedи диапазоном индексов (minBound, maxBound). Для такого массива проверка границ должна быть ненужной. Как я могу убедить GHC исключить проверку границ?

В моем конкретном приложении используются как упакованные, так и неупакованные неизменяемые массивы, но меня интересуют все типы массивов Haskell.