Ivory.Language.BitData.Bits
type family BitRep (n :: Nat) :: *
type IvoryRep a
data Bits n
type Bit
type family BitSize a :: Nat
unsafeIntToBits
zeroBits
unsafeRepToBits
repToBits
bitsToRep