Data.Digit.Digit3

data Digit3 a