Ivory.Language.BitData.Array

type family ArraySize (n :: Nat) (a :: *) :: Nat

data BitArray n a

bitLength

(#!)

bitIx