Data.Digit.Digitc

data Digitc a