Data.Digit.Digit0

data Digit0 a