Data.Digit.Digit8

data Digit8 a