Ivory.Language.BitData.Array

type family ArraySize n a :: Nat

data BitArray n a

bitLength

(#!)

bitIx