{-# LANGUAGE EmptyDataDecls #-}
module TypeLevel.Number.Int.Types where
  
-- | Digit -1
data Dn n
-- | Digit 0
data D0 n
-- | Digit 1
data D1 n
-- | Digit stream terminator
data ZZ