Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/src/prelude/Array/DArray.hs
module Array(Array(..),Vector) where import PreludeBuiltin(Vector) import Ix data (Ix a) => Array a b = MkArray (a,a) (Vector b)