Data.Digit.Digitf

data Digitf a