diff --git a/Data/Array/Bounded.hs b/Data/Array/Bounded.hs
new file mode 100644
--- /dev/null
+++ b/Data/Array/Bounded.hs
@@ -0,0 +1,63 @@
+{-# LANGUAGE DeriveTraversable          #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+module Data.Array.Bounded (
+  BoundedArray
+, (!)
+, (//)
+, indexBounded
+, unboundedArray
+, listArrayFill
+, listArrayCycle
+, accumArrayBounded
+) where
+
+import           Data.Array         hiding ((!), (//))
+import           Data.Array.Base    (unsafeAccumArray, unsafeAt, unsafeReplace)
+import           Data.Bifunctor     (first)
+import           Data.List.NonEmpty (NonEmpty, cycle, toList)
+import           Prelude            hiding (cycle)
+
+newtype IntegralIndex i
+  = IntegralIndex i
+  deriving (Eq, Ord, Show, Bounded, Enum, Real, Integral, Num)
+
+instance (Integral i) => Ix (IntegralIndex i) where
+  range (a, b) =
+    [a..b]
+  index (a, _) i =
+    fromIntegral i - fromIntegral a
+  inRange (a, b) i =
+    a <= i && i <= b
+
+newtype BoundedArray i e
+  = BoundedArray (Array (IntegralIndex i) e)
+  deriving (Show, Eq, Ord, Functor, Foldable, Traversable)
+
+indexBounded :: (Bounded i, Integral i) => i -> Int
+indexBounded i =
+  fromIntegral (i - minBound)
+
+unboundedArray :: (Bounded i, Integral i, Ix i) => BoundedArray i e -> Array i e
+unboundedArray (BoundedArray a) =
+  ixmap (minBound, maxBound) IntegralIndex a
+
+(!) :: (Bounded i, Integral i) => BoundedArray i e -> i -> e
+BoundedArray a ! i =
+  a `unsafeAt` indexBounded i
+
+(//) :: (Bounded i, Integral i) => BoundedArray i e -> [(i, e)] -> BoundedArray i e
+BoundedArray a // ies =
+  BoundedArray . unsafeReplace a $ fmap (first indexBounded) ies
+
+listArrayFill :: (Bounded i, Integral i) => e -> [e] -> BoundedArray i e
+listArrayFill e =
+  BoundedArray . listArray (minBound, maxBound) . (++ repeat e)
+
+listArrayCycle :: (Bounded i, Integral i) => NonEmpty e -> BoundedArray i e
+listArrayCycle =
+  BoundedArray . listArray (minBound, maxBound) . toList . cycle
+
+accumArrayBounded :: (Bounded i, Integral i) => (e -> a -> e) -> e -> [(i, a)] -> BoundedArray i e
+accumArrayBounded f initial =
+  BoundedArray . unsafeAccumArray f initial (minBound, maxBound) . fmap (first indexBounded)
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c) 2018, Brian McKenna
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Brian McKenna nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/bounded-array.cabal b/bounded-array.cabal
new file mode 100644
--- /dev/null
+++ b/bounded-array.cabal
@@ -0,0 +1,19 @@
+name:                bounded-array
+version:             0.1.0.0
+synopsis:            Arrays with a value for every index
+description:         Arrays with a value for every index.
+license:             BSD3
+license-file:        LICENSE
+author:              Brian McKenna
+maintainer:          brian@brianmckenna.org
+category:            Data
+build-type:          Simple
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     Data.Array.Bounded
+  other-extensions:    DeriveTraversable
+                     , GeneralizedNewtypeDeriving
+  build-depends:       base >=4.9 && <4.12
+                     , array >=0.5 && <0.6
+  default-language:    Haskell2010