0 | module Data.NumIdr.Array 1 | 2 | import public Data.NumIdr.Array.Array 3 | import public Data.NumIdr.Array.Coords 4 | import public Data.NumIdr.Array.Rep 5 |